mhorod / tcs-sufferingLinks
Notes from subjects taught on TCS, JU
☆27Updated 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:
- WebExtension that adds various quality-of-life improvements to Satori Online Judge website.☆16Updated last week
- Python wrapper for the unofficial scraped API of the satori testing system.☆15Updated 3 years ago
- A systems theorem prover☆12Updated last year
- Solving LeetCode problems in Dyalog APL☆11Updated 3 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 last week
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- A schwifty programming language made by a former out of school space cucumber☆31Updated 4 years ago
- A language with lexical effect handlers and lightweight effect polymorphism☆420Updated last week
- CLI tool for creating and verifying problem packages for sio2☆12Updated 3 months ago
- Haskell library for writing Discord bots☆286Updated 5 months ago
- A statically-typed, low-level, functional programming language with some focus on runtime performance☆30Updated 2 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Updated last year
- Nihil, a statically typed interpreted functional programming language☆69Updated 4 years ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆74Updated last month
- A library for writing discord bots in haskell☆123Updated 8 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆76Updated last year
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆68Updated last year
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆113Updated 5 months ago
- My university notes☆23Updated 3 months ago
- The Curly programming language (now in Rust!)☆31Updated 4 years ago
- ☆38Updated 4 years ago
- ☆67Updated 2 years ago
- Site interactif avec théorie, exercices et problèmes☆69Updated last week
- A language with dependent data and codata types☆125Updated this week
- Linear algebra formalization in Agda☆16Updated 6 years ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆268Updated 2 years ago
- Macros have types!☆134Updated 2 years ago
- Functional golfing language inspired by Haskell.☆79Updated 4 years ago
- A series of down-to-earth articles on implementing type inference☆165Updated 5 years ago