Collection of TypeScript type challenges with online judge
-
Updated
Sep 29, 2021 - TypeScript
#
type-system
Here are 188 public repositories matching this topic...
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
compiler
functional-programming
book
lambda-calculus
evaluation
type-theory
type
pdf-book
type-checking
haskel
type-system
functional-language
hindley-milner
type-inference
intermediate-representation
-
Updated
Jan 11, 2021 - Haskell
TypeDB: a strongly-typed database
database
graph
logic
inference
knowledge-graph
graph-theory
graph-database
graphdb
knowledge-base
type-system
strongly-typed
graph-visualisation
relational
knowledge-representation
reasoning
enterprise-knowledge-graph
hyper-relational
typedb
typeql
-
Updated
Sep 29, 2021 - Java
A list of computer-science readings I recommend
computer-science
science
research
compiler
static-analysis
concurrency
parallel-computing
reading
garbage-collection
operating-system
type-system
academia
-
Updated
Sep 20, 2021
-
Updated
Aug 12, 2021 - TypeScript
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
programming-language
rust
typechecker
dependent-types
compiler
type-theory
systems-language
type-system
systems-programming
bidirectional-typechecking
dependent-record-types
dependent-records
-
Updated
May 16, 2021 - Rust
Algebraic data types for C99
pattern-matching
c99
metaprogramming
algebraic-data-types
introspection
adt
type-system
variant
derive
algebraic
sum-types
reflection-library
tagged-unions
metalang99
-
Updated
Sep 18, 2021 - C
A programming language designed for typescript type generation
-
Updated
Jul 3, 2021 - TypeScript
api
components
crud
schema
rest
dependency-injection
restful
swagger
openapi
marshmallow
type-system
apispec
starlette
starlette-api
-
Updated
Aug 31, 2021 - Python
A typed, polyglot, functional language
language
programming-language
interoperability
polyglot
code-generation
ontologies
type-system
functional-language
-
Updated
Sep 30, 2021 - Haskell
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
-
Updated
Apr 3, 2017 - Rust
-
Updated
Oct 28, 2020 - TypeScript
unicode
typescript
vscode
visual-studio-code
ascii-game
sokoban
string-literals
type
type-system
sokoban-game
typesystem
compiletime
typescript4
template-literal-types
type-gymnastics
-
Updated
Sep 17, 2021 - TypeScript
Additional types and types adjusted utilities for TypeScript
-
Updated
Sep 21, 2021 - TypeScript
TypeQL: the query language of TypeDB - a strongly-typed database
-
Updated
Sep 17, 2021 - ANTLR
language
rust
parser
dependent-types
compiler
binary-data
dsl
declarative
data-description-language
type-system
statically-typed
type-checker
binary-format
dependent-record-types
-
Updated
Sep 29, 2021 - Rust
An ML-inspired statically-typed Erlang
programming-language
erlang
ocaml
actor-model
monad
concurrent-programming
type-system
process-calculus
statically-typed
module-system
f-ing-modules
sesterl
-
Updated
Sep 29, 2021 - OCaml
BackboneJS compatibility layer for Type-R data framework.
serialization
models
observable
backbone
reactive-programming
schema-validation
data-management
type-system
nestedtypes
-
Updated
May 6, 2021 - HTML
Zero-boilerplate interfaces for C99
c99
oop
metaprogramming
macros
object-oriented
polymorphism
typeclasses
type-system
dynamic-dispatch
metalang99
-
Updated
Sep 20, 2021 - C
Type System for Data Analysis in Python
-
Updated
Sep 27, 2021 - Python
Normalization by evaluation for Martin-Löf Type Theory with dependent records
rust
dependent-types
type-theory
type-system
type-inference
unification
type-checker
bidirectional-typechecking
debruijn-indices
dependent-record-types
dependent-records
normalization-by-evaluation
semantic-typechecking
-
Updated
Jun 22, 2019 - Rust
DMX Knowledge Building Platform
javascript
java
vuejs
html5
hot-reloading
neo4j
rest-api
application-server
vuex
osgi
web-application
knowledge-graph
multi-user
lucene
type-system
access-control
plugin-architecture
desktop-ui
window-less
stable-views
-
Updated
Sep 29, 2021 - Java
A toy language based on LLVM that implements the System Fω type-system
-
Updated
Jun 28, 2021 - OCaml
Swift type checking and semantic analysis for developer tools
swift
developer-tools
type-checking
type-system
hindley-milner
type-inference
semantic-analysis
type-checker
semantic-analyzer
-
Updated
Aug 10, 2021 - Swift
A macro for defining type operators in Rust.
-
Updated
Mar 16, 2017 - Rust
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
javascript
functional-programming
tuples
composition
immutability
recursion
higher-order-functions
polymorphism
currying
type-system
lazy-evaluation
hindley-milner
purity
sum-types
unification
combinators
parametric-polymorphism
tagged-unions
scott-encoding
row-polymorphism
-
Updated
Mar 9, 2018 - JavaScript
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
-
Updated
Jul 27, 2019 - Haskell
Compositional type checking for Haskell
-
Updated
Apr 14, 2011 - Haskell
Improve this page
Add a description, image, and links to the type-system topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-system topic, visit your repo's landing page and select "manage topics."
We have a reasonably good test suite with a lot of unit tests and a few test programs. It's very helpful and I use it all the time. But sadly, there are many cases that are not covered by the test suite. We can make it even more helpful! It'd be wonderful if people wanted to help out with this. It's also a very easy way to help out this project. I'm happy to assist anyone who wants to make a contr