mhorod / tcs-sufferingLinks
Notes from subjects taught on TCS, JU
☆25Updated 3 weeks 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 7 months ago
- Solving LeetCode problems in Dyalog APL☆12Updated 3 years ago
- Python wrapper for the unofficial scraped API of the satori testing system.☆15Updated 3 years ago
- kolejka is a lightweight task scheduling platform developed for a small computational grid at Faculty of Mathematics and Computer Science…☆14Updated 9 months ago
- A low-level, postfix, functional programming language that compiles to WebAssembly☆26Updated 2 months ago
- A library for writing discord bots in haskell☆123Updated 2 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆386Updated this week
- A wiki for collaborative work on totally legitimate "category theory"☆118Updated last year
- A series of down-to-earth articles on implementing type inference☆159Updated 5 years ago
- A Language with Dependent Data and Codata Types☆109Updated last week
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆44Updated last year
- BQN programming language vscode plugin (symbol input, syntax highlighting)☆22Updated 10 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆197Updated this week
- Simple expression transformer that is not Coq.☆262Updated last year
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- Haskell library for writing Discord bots☆281Updated this week
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆129Updated 2 months ago
- A systems theorem prover☆11Updated last year
- Nihil, a statically typed interpreted functional programming language☆69Updated 4 years ago
- Site interactif avec théorie, exercices et problèmes☆63Updated 2 weeks ago
- A lambda calculus parser, evaluator and repl☆11Updated 3 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆101Updated last week
- Source Code for JSON Parser Video☆192Updated 2 years ago
- Idris front-end for VS Code☆59Updated 2 years ago
- A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.☆289Updated this week
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆57Updated 8 months ago
- https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust☆148Updated 2 years ago
- A simple esolang, based on things people say while trying to think of an answer☆13Updated 5 years ago
- A statically-typed, low-level, functional programming language with some focus on runtime performance☆29Updated 2 years ago
- A simple library for reporting compiler/interpreter errors☆264Updated last year