mhorod / tcs-sufferingLinks
Notes from subjects taught on TCS, JU
☆27Updated 2 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:
- WebExtension that adds various quality-of-life improvements to Satori Online Judge website.☆16Updated last month
- My university notes☆23Updated 3 months ago
- Solving LeetCode problems in Dyalog APL☆11Updated 3 years ago
- Python wrapper for the unofficial scraped API of the satori testing system.☆15Updated 3 years ago
- Simple expression transformer that is not Coq.☆263Updated 2 years ago
- A language with dependent data and codata types☆125Updated 3 weeks ago
- A language with lexical effect handlers and lightweight effect polymorphism☆416Updated this week
- A lambda calculus parser, evaluator and repl☆11Updated 4 years ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆296Updated this week
- A series of down-to-earth articles on implementing type inference☆164Updated 5 years ago
- A systems theorem prover☆12Updated last year
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆412Updated this week
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆67Updated last week
- A statically-typed, low-level, functional programming language with some focus on runtime performance☆30Updated 2 years ago
- BQN programming language vscode plugin (symbol input, syntax highlighting)☆22Updated last year
- Nihil, a statically typed interpreted functional programming language☆69Updated 4 years ago
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆43Updated last year
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆684Updated 3 weeks ago
- Metamath Zero specification language☆365Updated last week
- A declarative concatenative programming language☆169Updated 3 months ago
- Dependent type checker using normalisation by evaluation☆270Updated last year
- An esoteric programming language with just two data types: null and tape☆11Updated last year
- 😎TT☆237Updated last month
- Natural Number Game☆273Updated last week
- Staged compilation with dependent types☆186Updated 8 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆213Updated this week
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆68Updated last year
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆137Updated 3 months ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆113Updated 5 months ago
- Haskell library for writing Discord bots☆286Updated 4 months ago