36 results found Sort:
- Filter by Primary Language:
- TypeScript (11)
- Rust (4)
- C (3)
- Java (3)
- OCaml (3)
- Haskell (2)
- Python (2)
- Verilog (1)
- PHP (1)
- Erlang (1)
- Swift (1)
- Coq (1)
- HTML (1)
- Julia (1)
- +
Collection of TypeScript type challenges with online judge
Created
2020-07-23
946 commits to main branch, last one 3 days ago
TypeDB: the polymorphic database powered by types
Created
2016-07-11
6,590 commits to development branch, last one 16 hours ago
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Created
2015-01-05
299 commits to master branch, last one 7 years ago
A list of computer-science readings I recommend
Created
2017-03-03
38 commits to master branch, last one 2 years ago
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
Created
2022-06-27
401 commits to master branch, last one about a year ago
Zui is a powerful desktop application for exploring and working with data. The official front-end to the Zed lake.
Created
2018-08-09
5,351 commits to main branch, last one 7 days ago
📚 Functions and algorithms implemented purely with TypeScript's type system
Created
2019-12-30
177 commits to master branch, last one 4 years ago
Algebraic data types for C99
Created
2020-11-12
515 commits to master branch, last one 22 days ago
🚀 The open-source, self-building database. From @hashintel
Created
2019-07-15
7,118 commits to main branch, last one a day ago
A Gradual type system for Erlang
Created
2017-10-29
1,662 commits to master branch, last one a day ago
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Created
2017-12-19
1,071 commits to main branch, last one 3 years ago
A programming language designed for typescript type generation
Created
2021-02-14
162 commits to main branch, last one 2 years ago
Additional types and types adjusted utilities for TypeScript
Created
2018-12-24
1,273 commits to main branch, last one 14 days ago
Full-featured interfaces for C99
Created
2021-05-26
243 commits to master branch, last one about a month ago
👾 Sokoban Game in Pure TypeScript Type System
Created
2021-09-09
5 commits to master branch, last one 2 years ago
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Created
2015-01-09
2,650 commits to main branch, last one about a year ago
Fire up your models with the flame 🔥
Created
2018-09-27
389 commits to master branch, last one 6 months ago
TypeQL: the polymorphic query language of TypeDB
Created
2019-02-16
977 commits to development branch, last one a day ago
Type System for Data Analysis in Python
Created
2019-12-12
1,065 commits to develop branch, last one about a month ago
A typed, polyglot, functional language
Created
2016-12-02
2,294 commits to master branch, last one 25 days ago
An ML-like statically-typed Erlang
Created
2020-04-25
1,400 commits to master branch, last one 2 years ago
Fearless hardware design
Created
2021-08-11
596 commits to main branch, last one 3 days ago
Cicada Language (solo version)
Created
2021-03-28
6,370 commits to master branch, last one 20 days ago
A toy language based on LLVM that implements the System Fω type-system
Created
2013-08-01
927 commits to master branch, last one about a year ago
BackboneJS compatibility layer for Type-R data framework.
Created
2014-03-30
801 commits to master branch, last one 5 years ago
Cicada Language (PLCT little team)
Created
2022-08-07
1,864 commits to master branch, last one 14 days ago
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Created
2018-11-20
421 commits to master branch, last one about a year ago
DMX Knowledge Building Platform
Created
2010-07-08
4,242 commits to master branch, last one 5 days ago
Swift type checking and semantic analysis for developer tools
Created
2019-04-18
91 commits to main branch, last one 2 years ago
Provides a Refl encoding in Rust
Created
2018-01-28
21 commits to master branch, last one 4 years ago