meta-typing
type-challenges
meta-typing | type-challenges | |
---|---|---|
7 | 78 | |
1,523 | 40,097 | |
- | 1.0% | |
0.0 | 8.1 | |
over 1 year ago | about 22 hours 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.
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-challenges
-
5 Resources Each TypeScript Developer Should Know About
View on GitHub
- Collection of TypeScript type challenges with online judge
-
What is JSDoc and why you may not need typescript for your next project?
For those who want to improve their type level skills, I highly recommend this repository for learning by doing: https://github.com/type-challenges/type-challenges.
- Show HN: Python-Type-Challenges, master Python typing with online exercises
- How much I learn about typescript in 2 weeks
-
📜 Length of String in TypeScript
I'm very like typescript and I always try to learn something interesting there. I thought that it is impossible to know the length of the string in typescript, but I was wrong. Today during solving typescript challenge I found a way to do it. If you don't know about typescript challenges, you can read about it here, it is a very interesting project, and I highly recommend you to try it, if you, like me, obsessed with typescript.
- Type-challenges: Collection of TypeScript type challenges with online judge
-
Where to start?
For those wonder why you don’t need a CS degree, I invite you to solve the type problems here https://github.com/type-challenges/type-challenges. No degree needed and if you can solve those problems with ease (as really understand the problems), you can work on any problems in any business.
- How Can I TypeScript this Handy Method for Applying Mixins to Javascript Classes?
-
Offering a stipend for researchers to train open-source fine-tuned models
It's not really a major usage but I think it would be cool to see if a coding model could be fine-tuned to take in a prompt of instructions and output a valid Typescript type solution (like in https://github.com/type-challenges/type-challenges)
What are some alternatives?
TypeGame - 👾 Sokoban Game in Pure TypeScript Type System
typescript-exercises - A set of interactive TypeScript exercises
remeda - A utility library for JavaScript and TypeScript.
elmish - Elm-like abstractions for F# apps
TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
typesafe-i18n - A fully type-safe and lightweight internationalization library for all your TypeScript and JavaScript projects.
type-level-sort - im so smart please hire me
react - Cheatsheets for experienced React developers getting started with TypeScript
hkt-toolbelt - ✨Functional and composable type utilities
SimplyTyped - yet another Typescript type library for advanced types
tyrade - A pure functional language for type-level programming in Rust