meta-typing
type-level-sort
| meta-typing | type-level-sort | |
|---|---|---|
| 7 | 2 | |
| 1,523 | 5 | |
| - | - | |
| 0.0 | 0.0 | |
| over 1 year ago | about 2 years ago | |
| TypeScript | Rust | |
| 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.
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
type-level-sort
What are some alternatives?
type-challenges - Collection of TypeScript type challenges with online judge
tyrade - A pure functional language for type-level programming in Rust
TypeGame - 👾 Sokoban Game in Pure TypeScript Type System
FileSorterX - FileSorterX is an automatic file sorting application that sorts your files into folders based on their file extension. With FileSorterX, you can easily keep your files organized and find what you need quickly.
remeda - A utility library for JavaScript and TypeScript.
frunk - Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
bounded-registers - Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
hkt-toolbelt - ✨Functional and composable type utilities
typescript-transformer-handbook - 📘 A comprehensive handbook on how to create transformers for TypeScript with code examples
metabase-school - A Metabase-integrated, real-time collaborative tool for writing SQL