kaBeech / tensort
Tunable sorting for responsive robustness and beyond
☆17Updated 2 weeks ago
Alternatives and similar repositories for tensort:
Users that are interested in tensort are comparing it to the libraries listed below
- Lua parser and pretty-printer☆15Updated 9 months ago
- A Haskell IDE for Visual Studio Code.☆26Updated 3 weeks ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- haskell behavior tree library☆11Updated 4 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Lambda calculus go brrrr☆28Updated last year
- An implementation of Haskell’s MVars in Racket☆28Updated 4 months ago
- An opinionated OTP framework wrapper☆26Updated last month
- Wrap up Haskell tools☆15Updated 3 years ago
- a language about nothing☆19Updated 5 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- An approach to user interfaces based in denotational design.☆26Updated 2 years ago
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated last month
- ☆23Updated 7 years ago
- ☆35Updated 5 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- ☆34Updated 10 months ago
- Strategy game in Haskell (PRs: )☆51Updated 5 years ago
- ☆44Updated last year
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆38Updated 8 months ago
- A tiny statically typed programming language☆18Updated 10 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 4 months ago
- A step-by-step Haskell x Swift project where the commits match the steps described in the accompanying blog post☆14Updated 8 months ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- Morte IDE☆29Updated last year
- the dynabook but for haskell☆23Updated 5 years ago
- A Haskell monad transformer library for data validation☆36Updated last year