meta-typing
ts-math-evaluate
meta-typing | ts-math-evaluate | |
---|---|---|
7 | 4 | |
1,523 | 10 | |
- | - | |
0.0 | 7.9 | |
over 1 year ago | 11 months ago | |
TypeScript | TeX | |
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
ts-math-evaluate
-
Functions and algorithms implemented purely with TypeScript's type system
A tuple does have a upper limit of 10 000 elements, which means that with this approach we can count to 10 000 at most.
Another approach which I tried is to do arithmetics on digits directly, storing digits in a tuple instead, but the code is not as elegant as the tuple one
https://github.com/dqbd/ts-math-evaluate/blob/main/src/math/...
- I made a TypeScript library for parsing and evaluating math expressions inside template literal types
- I made a library for parsing and evaluating math expressions inside template literal types
- Show HN: TypeScript type-level math expression parser and evaluator
What are some alternatives?
type-challenges - Collection of TypeScript type challenges with online judge
hkt-toolbelt - ✨Functional and composable type utilities
TypeGame - 👾 Sokoban Game in Pure TypeScript Type System
typescript-transformer-handbook - 📘 A comprehensive handbook on how to create transformers for TypeScript with code examples
remeda - A utility library for JavaScript and TypeScript.
ts-patch - Augment the TypeScript compiler to support extended functionality
TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
ts-sql - A SQL database implemented purely in TypeScript type annotations.
type-level-sort - im so smart please hire me
tyrade - A pure functional language for type-level programming in Rust