39 results found Sort:
- Filter by Primary Language:
- TypeScript (12)
- 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
977 commits to main branch, last one 5 days ago
TypeDB: the power of programming, in your database
Created
2016-07-11
6,940 commits to 3.0 branch, last one 23 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 3 years ago
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
Created
2022-06-27
405 commits to master branch, last one 3 months 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,506 commits to main branch, last one about a month 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
521 commits to master branch, last one 19 days ago
🚀 The open-source, multi-tenant, self-building knowledge graph
Created
2019-07-15
8,500 commits to main branch, last one 2 hours ago
A Gradual type system for Erlang
Created
2017-10-29
1,682 commits to master branch, last one 2 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,364 commits to main branch, last one a day ago
Full-featured interfaces for C99
Created
2021-05-26
249 commits to master branch, last one 19 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
461 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 about a year ago
TypeQL: the power of programming, in your database
Created
2019-02-16
1,059 commits to 3.0 branch, last one a day ago
Type System for Data Analysis in Python
Created
2019-12-12
1,069 commits to develop branch, last one 4 months ago
A typed, polyglot, functional language
Created
2016-12-02
2,376 commits to master branch, last one about a month ago
Fearless hardware design
Created
2021-08-11
611 commits to main branch, last one 12 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,371 commits to master branch, last one about a month 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
BackboneJS compatibility layer for Type-R data framework.
Created
2014-03-30
801 commits to master branch, last one 6 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
Cicada Language (PLCT little team)
Created
2022-08-07
1,873 commits to master branch, last one about a month ago
DMX Knowledge Building Platform
Created
2010-07-08
4,309 commits to master branch, last one 20 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
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 2 months ago