Inspired by typelang, a lisp implemented in typescript's type engine
☆12Aug 25, 2024Updated last year
Alternatives and similar repositories for TypeLisp
Users that are interested in TypeLisp are comparing it to the libraries listed below
Sorting:
- ☆12May 20, 2023Updated 2 years ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆44Mar 13, 2026Updated last week
- An example async executor that uses mio to respond to OS events☆11May 26, 2024Updated last year
- This is an userscript to add miscellaneous functionality to backpack.tf.☆14Apr 9, 2023Updated 2 years ago
- A problems view for TypeScript errors☆13May 7, 2024Updated last year
- Syntax highlighting for TypeScript error messages☆11Dec 11, 2023Updated 2 years ago
- py-saga is an asynchronous open-source python implementation of the saga pattern☆11Jul 22, 2019Updated 6 years ago
- VSCode Live view of type declarations, formatted and no truncation☆11Apr 17, 2023Updated 2 years ago
- ☆17Oct 18, 2024Updated last year
- Create string patterns and derive things from them, such as regexes☆10Sep 19, 2024Updated last year
- The Python Discord API Framework☆14Nov 23, 2019Updated 6 years ago
- ☆16Mar 14, 2023Updated 3 years ago
- ☆11Feb 19, 2018Updated 8 years ago
- Code excerpts from functional programming studies☆12Jan 4, 2023Updated 3 years ago
- Esercizi del corso di programmazione avanzata con TypeScript☆11Mar 4, 2020Updated 6 years ago
- Generic type declarations for e.g. TypeScript and JSON Schema☆16Apr 2, 2023Updated 2 years ago
- Analyze a graph to find cyclic loops☆13Feb 2, 2023Updated 3 years ago
- This is the Exo app server. This is the backend for the Exo app☆14Sep 27, 2023Updated 2 years ago
- Expands haskell-syntax ADTs to typescript equivalent types definitions using gcanti/fp-ts-codegen☆16May 20, 2019Updated 6 years ago
- A retro inspired sans-serif font.☆13Jun 19, 2025Updated 9 months ago
- Beautiful quotes for your Emacs *scratch* buffer☆12Aug 28, 2019Updated 6 years ago
- A type programming language which compiles to and interops with type-level TypeScript☆22Sep 9, 2022Updated 3 years ago
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)☆80Nov 15, 2022Updated 3 years ago
- Spark Workshop notebooks from Scala World 2017☆11Apr 9, 2019Updated 6 years ago
- Push Anno 1800 to its limits by finding the best possible solution to a problem. Applies to skyscraper residents, depots, and docklands t…☆14May 25, 2024Updated last year
- Sensible, performant primitives for writing semantic TypeScript code☆16Nov 16, 2024Updated last year
- Website that randomly displays githubs repositories to gain inspiration on the topics of your choice☆12Mar 14, 2025Updated last year
- A list of all the code challenges that the students of Lambda University will be doing.☆10Mar 31, 2018Updated 7 years ago
- Completions, code snippets helping you to get even more out of the amazing Fish shell☆45Sep 18, 2019Updated 6 years ago
- Where research is evaluated and curated by the communities you trust☆18Updated this week
- An attempt to create a C++ ORM☆11Nov 8, 2024Updated last year
- A Clojure project based on Stuart Halloway’s Snake.☆10Apr 25, 2021Updated 4 years ago
- Functional Ramda Based utilities for Redux☆14Sep 11, 2017Updated 8 years ago
- a small opinionated future forward front-end framework☆42Apr 17, 2023Updated 2 years ago
- ☆11Jun 21, 2020Updated 5 years ago
- ☆14Aug 20, 2014Updated 11 years ago
- a relational algebra shell☆20May 14, 2022Updated 3 years ago
- Experimenting with React, fp-ts, ReaderTaskEither, etc.☆19Jan 20, 2021Updated 5 years ago
- Collection of patterns for React and Redux in combination with awesome Ramda library.☆16Apr 19, 2018Updated 7 years ago