mhorod / tcs-sufferingLinks
Notes from subjects taught on TCS, JU
☆25Updated 3 months ago
Alternatives and similar repositories for tcs-suffering
Users that are interested in tcs-suffering are comparing it to the libraries listed below
Sorting:
- A lambda calculus parser, evaluator and repl☆11Updated 3 years ago
- WebExtension that adds various quality-of-life improvements to Satori Online Judge website.☆16Updated 10 months ago
- Python wrapper for the unofficial scraped API of the satori testing system.☆15Updated 3 years ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆132Updated last month
- Generate bindings for Futhark☆39Updated 2 years ago
- Statically typed, high-level functional programming language.☆17Updated 4 years ago
- A programming language supporting most of both declarative and imperative programming☆52Updated 3 weeks ago
- Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.☆10Updated 4 years ago
- A pure functional language for type-level programming in Rust☆336Updated 2 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆122Updated last year
- RRust, a reversible Rust DSL☆43Updated 10 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Macros have types!☆132Updated 2 years ago
- A Hindley-Milner polymorphic typing system☆59Updated last year
- A Language with Dependent Data and Codata Types☆123Updated this week
- Source code error pretty printing☆49Updated 10 months ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 4 months ago
- A declarative concatenative programming language☆166Updated 3 weeks ago
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆67Updated last year
- A low-level, postfix, functional programming language that compiles to WebAssembly☆26Updated 4 months ago
- Nihil, a statically typed interpreted functional programming language☆69Updated 4 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Updated last year
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆107Updated 2 months ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆266Updated 2 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 8 months ago
- Solving LeetCode problems in Dyalog APL☆12Updated 3 years ago
- A simple ML-like programming language with subtyping and full type inference.☆180Updated 10 months ago
- A free and opensource platform for studying the artificial language Lojban.☆91Updated last week
- CLI tool for creating and verifying problem packages for sio2☆10Updated this week
- An esoteric programming language, using box-drawing characters☆29Updated 7 months ago