Collection of TypeScript type challenges with online judge
-
Updated
Mar 10, 2022 - TypeScript
#
type-system
Here are 197 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
Mar 9, 2022 - 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
Oct 27, 2021
-
Updated
Feb 13, 2022 - TypeScript
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
Feb 11, 2022 - C
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
A programming language designed for typescript type generation
-
Updated
Nov 3, 2021 - 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
Nov 5, 2021 - TypeScript
perdy
commented
Feb 17, 2022
Add flake8-isort to current flake8 configuration to remove the necessity of running isort on CI.
A typed, polyglot, functional language
language
programming-language
interoperability
polyglot
code-generation
ontologies
type-system
functional-language
-
Updated
Feb 22, 2022 - 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
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
Mar 10, 2022 - Rust
TypeQL: the query language of TypeDB - a strongly-typed database
-
Updated
Feb 9, 2022 - Starlark
Additional types and types adjusted utilities for TypeScript
-
Updated
Mar 1, 2022 - TypeScript
Type System for Data Analysis in Python
-
Updated
Jan 30, 2022 - Python
An ML-like 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
Jan 17, 2022 - OCaml
Full-featured interfaces for C99
c99
oop
metaprogramming
macros
generic-programming
object-oriented
polymorphism
typeclasses
type-system
dynamic-dispatch
metalang99
-
Updated
Feb 13, 2022 - C
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
A toy language based on LLVM that implements the System Fω type-system
-
Updated
Mar 5, 2022 - OCaml
-
Updated
Feb 27, 2022 - OCaml
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
Jan 5, 2022 - Java
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
Cicada Language
language
programming-language
dependent-types
repl
type-theory
type-system
cicada
prover
interactive-theorem-proving
theorem-prover
dependent-record-types
dependent-type-theory
-
Updated
Mar 9, 2022 - TypeScript
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
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."
A
type()is usually a tuple, but in some rare cases of representing a function with multiple clauses a list of tuples is used instead. This leads to code like https://github.com/josefs/Gradualizer/blob/5be0f94d0556e8f813963d3f907c51c0da8077f3/src/typelib.erl#L31-L36 or https://github.com/josefs/Gradualizer/blob/5be0f94d0556e8f813963d3f907c51c0da8077f3/src/typelib.erl#L154-L155 which is confusing