ts-lambda-calc
cursed-typescript
ts-lambda-calc | cursed-typescript | |
---|---|---|
5 | 4 | |
14 | 93 | |
- | - | |
0.0 | 5.7 | |
over 1 year ago | about 2 months ago | |
TypeScript | TypeScript | |
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.
ts-lambda-calc
cursed-typescript
- Show HN: A Type-Level Brainfuck Interpreter
-
Show HN: A Sudoku solver in TypeScript's type system
GitHub: https://github.com/RuyiLi/cursed-typescript/blob/master/rand...
Hi HN! I wrote a small file that solves sudoku puzzles at the type level - that is, entirely within TypeScript's type system, with no runtime code.
To play with it, scroll down to the bottom (below where it says "BEGIN TESTING") and check out the examples. You can "run" the solver by hovering over the name of the type (e.g. SudokuEasySolved).
Also, if you haven't seen it already, I did the same thing with Conway's Game of Life: https://news.ycombinator.com/item?id=37438028 :)
- Show HN: Conway's Game of Life in TypeScript's type system
What are some alternatives?
get-optional - Typesafe utility functions for getting a nested optional property. For TypeScript and Flow.
TypeScript - TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
typefuck - Type-level Brainfuck interpreter in TypeScript
proposal-type-annotations - ECMAScript proposal for type syntax that is erased - Stage 1
ts-regexp - Type-Level Regular Expressions matching with TypeScript
Cypress - Fast, easy and reliable testing for anything that runs in a browser.
tabdb - Using browser tabs as a database like only a maniac would
pothos - Pothos GraphQL is library for creating GraphQL schemas in typescript using a strongly typed code first approach
typeshaman - Experiments with using advanced typescript types for GraphQL, SQL etc.
remark-typescript-tools