40 results found Sort:
- Filter by Primary Language:
- TypeScript (13)
- Rust (5)
- OCaml (3)
- C (3)
- Julia (2)
- Haskell (2)
- Java (2)
- Python (2)
- HTML (1)
- PHP (1)
- Verilog (1)
- Erlang (1)
- Swift (1)
- Coq (1)
- JavaScript (1)
- +
Collection of TypeScript type challenges with online judge
Created
2020-07-23
983 commits to main branch, last one about a month ago
TypeDB: the power of programming, in your database
Created
2016-07-11
7,045 commits to 3.0 branch, last one 3 days 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 3 years ago
π¬ A simplified implementation of TypeScript's type system written in TypeScript's type system
Created
2022-06-27
407 commits to master branch, last one about a month 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,558 commits to main branch, last one a day ago
πΈ Learn Japanese grammar with TypeScript
Created
2025-03-18
17 commits to main branch, last one 9 days ago
π Functions and algorithms implemented purely with TypeScript's type system
Created
2019-12-30
177 commits to master branch, last one 5 years ago
Algebraic data types for C99
Created
2020-11-12
527 commits to master branch, last one 22 days ago
π The open-source, multi-tenant, self-building knowledge graph
Created
2019-07-15
9,362 commits to main branch, last one 12 hours ago
A Gradual type system for Erlang
Created
2017-10-29
1,682 commits to master branch, last one 5 months 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 3 years ago
Additional types and types adjusted utilities for TypeScript
Created
2018-12-24
1,478 commits to main branch, last one 3 days ago
Full-featured interfaces for C99
Created
2021-05-26
255 commits to master branch, last one 22 days ago
πΎ Sokoban Game in Pure TypeScript Type System
Created
2021-09-09
5 commits to master branch, last one 3 years ago
Fire up your models with the flame π₯
Created
2018-09-27
492 commits to master branch, last one 4 days 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 2 years ago
TypeQL: the power of programming, in your database
Created
2019-02-16
1,082 commits to master branch, last one 11 hours ago
Type System for Data Analysis in Python
Created
2019-12-12
1,086 commits to develop branch, last one 2 months ago
A typed, polyglot, functional language
Created
2016-12-02
2,459 commits to master branch, last one about a month ago
Fearless hardware design
Created
2021-08-11
621 commits to main branch, last one 21 days ago
An ML-like statically-typed Erlang
Created
2020-04-25
1,400 commits to master branch, last one 3 years ago
Cicada Language (solo version)
Created
2021-03-28
6,372 commits to master branch, last one 3 months 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 2 years ago
Normalization by evaluation for Martin-LΓΆf Type Theory with dependent records
Created
2018-11-20
421 commits to master branch, last one 2 years ago
BackboneJS compatibility layer for Type-R data framework.
Created
2014-03-30
801 commits to master branch, last one 6 years ago
Cicada Language (PLCT little team)
Created
2022-08-07
1,874 commits to master branch, last one 3 months ago
DMX Knowledge Building Platform
Created
2010-07-08
4,360 commits to master branch, last one 13 days ago
C17-based extended standard library, cross-language type system, and unit testing framework targeting Sega Dreamcast, Sony PSP and PSVita, Windows, Mac, Linux, Android, iOS, and WebAssembly.
Created
2023-01-26
791 commits to master branch, last one 5 months ago