meta-typing
📚 Functions and algorithms implemented purely with TypeScript's type system (by ronami)
bounded-registers
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions (by auxoncorp)
SurveyJS - Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App
With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
surveyjs.io
featured
| meta-typing | bounded-registers | |
|---|---|---|
| 7 | 3 | |
| 1,523 | 50 | |
| - | - | |
| 0.0 | 0.0 | |
| over 1 year ago | over 2 years ago | |
| TypeScript | Rust | |
| MIT License | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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
Posts with mentions or reviews of meta-typing.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-07-04.
-
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
bounded-registers
Posts with mentions or reviews of bounded-registers.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-05-03.
-
What Is Type-Level Programming?
This sort of thing is something we abused about Rust quite some time ago to make safer interfaces to low-level hardware.
https://blog.auxon.io/2019/10/25/type-level-registers/
-
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
- Writing embedded firmware using Rust
What are some alternatives?
When comparing meta-typing and bounded-registers you can also consider the following projects:
type-challenges - Collection of TypeScript type challenges with online judge
hubris - A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
TypeGame - 👾 Sokoban Game in Pure TypeScript Type System
tyrade - A pure functional language for type-level programming in Rust
remeda - A utility library for JavaScript and TypeScript.
humility - Debugger for Hubris
TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
BitBang_I2C - A software I2C implementation to run on any GPIO pins on any system
type-level-sort - im so smart please hire me
esp32 - Peripheral access crate for the ESP32
hkt-toolbelt - ✨Functional and composable type utilities
meta-typing vs type-challenges
bounded-registers vs hubris
meta-typing vs TypeGame
bounded-registers vs tyrade
meta-typing vs remeda
bounded-registers vs humility
meta-typing vs TypeScript
bounded-registers vs BitBang_I2C
meta-typing vs type-level-sort
bounded-registers vs esp32
meta-typing vs hkt-toolbelt
bounded-registers vs type-level-sort