clique
meta-typing
clique | meta-typing | |
---|---|---|
6 | 7 | |
26 | 1,523 | |
- | - | |
9.7 | 0.0 | |
6 days ago | over 1 year ago | |
TypeScript | TypeScript | |
GNU General Public License v3.0 only | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
clique
meta-typing
-
Functions and algorithms implemented purely with TypeScript's type system
Looks like the arithmetic only supports integers 0 through 10
https://github.com/ronami/meta-typing/blob/master/src/utils/...
-
Type-level Bubble Sort in Rust: Part 2
A much more practically useful type-level programming in Rust A macro to define type-level logic with value-level syntax in Rust Type-level Brainfuck in Rust "Gentle Intro to Type-level Recursion in Rust" Type-level registers in Rust Type-level quicksort in Scala" Type-level sorting algorithms in Haskell A repo with functions and algorithms implemented purely on types in TypeScript
-
TypeScripts Type System is Turing Complete
Here's another repository demonstrating functions and algorithms implemented solely using TypeScript's type system: https://github.com/ronami/meta-typing
What are some alternatives?
inet-cute - An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer language to build nets.
type-challenges - Collection of TypeScript type challenges with online judge
schemable-svelte - svelte action for class decoration derived from media queries or user preferences.
TypeGame - 👾 Sokoban Game in Pure TypeScript Type System
rheme - R4RS Scheme in 800 lines of Ruby
remeda - A utility library for JavaScript and TypeScript.
ol - Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.
TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
lispe - An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.
type-level-sort - im so smart please hire me
swift-lispkit - Interpreter framework for Lisp-based extension and scripting languages on macOS and iOS. LispKit is based on the R7RS standard for Scheme. Its compiler generates bytecode for a virtual machine. LispKit is fully implemented in Swift 5.
hkt-toolbelt - ✨Functional and composable type utilities