n-puzzle
meta-typing
| n-puzzle | meta-typing | |
|---|---|---|
| 2 | 7 | |
| 13 | 1,523 | |
| - | - | |
| 2.6 | 0.0 | |
| over 2 years ago | over 1 year ago | |
| TypeScript | TypeScript | |
| MIT License | 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.
n-puzzle
-
Capstone question
Hey all, I want to finish my capstone in comp sci: A python GUI desktop app which visualizes various algorithms such as A*, to solve the n-puzzle problem. I found a .ts web app which looks a lot like what I want to do. (https://github.com/igorgarbuz/n-puzzle) I prefer to use Python for the project. Is there anyone that may be experienced with both python and typescript, so I can ask some questions (even if it is paid). Thank you
- Help with converting from TypeScript to Python
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?
sliding-puzzle-solver - 🧩 Solve sliding puzzle using the A* algorithm
type-challenges - Collection of TypeScript type challenges with online judge
TypeGame - 👾 Sokoban Game in Pure TypeScript Type System
remeda - A utility library for JavaScript and TypeScript.
TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
type-level-sort - im so smart please hire me
hkt-toolbelt - ✨Functional and composable type utilities
tyrade - A pure functional language for type-level programming in Rust
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
umbrella - â›± Broadly scoped ecosystem & mono-repository of 192 TypeScript projects (and 160+ examples) for general purpose, functional, data driven development
bounded-registers - Using Type-Level Programming in Rust to Make Safer Hardware Abstractions