kaBeech / tensortLinks
Tunable sorting for responsive robustness and beyond
☆18Updated 5 months ago
Alternatives and similar repositories for tensort
Users that are interested in tensort are comparing it to the libraries listed below
Sorting:
- An opinionated OTP framework wrapper☆26Updated 7 months ago
- Imagine a Dependently Typed Python☆11Updated 5 months ago
- Lambda calculus go brrrr☆30Updated 2 years ago
- An implementation of the Lox language in Racket.☆35Updated last year
- ☆37Updated last year
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated 7 months ago
- ☆37Updated 2 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆82Updated 10 months ago
- Skeleton app with contrived client/server examples☆20Updated 2 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆40Updated 2 years ago
- Unison Codebase UI☆46Updated 3 years ago
- An implementation of Haskell’s MVars in Racket☆30Updated 10 months ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆33Updated 10 months ago
- Tools for building 3D interactive programs in Haskell☆72Updated last week
- Bidirectional type checker for the simply typed lambda calculus☆15Updated 5 years ago
- ☆44Updated 2 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated 3 weeks ago
- Unison Share's backend server☆26Updated this week
- A structural editor for JSON values☆77Updated 2 years ago
- The Codebase UI that ships with UCM☆17Updated last week
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Lua parser and pretty-printer☆15Updated last year
- Kempe is a compiled stack-based language☆58Updated 11 months ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- ☆35Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Exercism exercises in Idris.☆35Updated 2 months ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- A Haskell-like language for scripting and web apps☆13Updated last year