mhorod / tcs-sufferingLinks
Notes from subjects taught on TCS, JU
☆25Updated this week
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
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆126Updated 2 months ago
- A Language with Dependent Data and Codata Types☆106Updated this week
- Source Code from "Making Music with Haskell" video☆138Updated 4 years ago
- A library for writing discord bots in haskell☆122Updated last month
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆382Updated this week
- Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.☆10Updated 4 years ago
- A series of down-to-earth articles on implementing type inference☆159Updated 5 years ago
- HoTTEST Summer School materials☆303Updated last month
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆195Updated this week
- Rust implementation of µKanren, a featherweight relational programming language.☆114Updated 2 years ago
- A low-level, postfix, functional programming language that compiles to WebAssembly☆26Updated last month
- Haskell library for writing Discord bots☆279Updated 2 weeks ago
- A lambda calculus parser, evaluator and repl☆11Updated 3 years ago
- Source Code for JSON Parser Video☆192Updated 2 years ago
- A pure functional language for type-level programming in Rust☆331Updated 2 years ago
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆67Updated last year
- The Haskell’s do notation brought to Rust☆63Updated 3 years ago
- The IntercalScript programming language☆138Updated 4 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆622Updated 2 months ago
- Nihil, a statically typed interpreted functional programming language☆68Updated 4 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆114Updated last year
- Metamath Zero specification language☆346Updated 2 weeks ago
- An experimental library for Cubical Agda☆491Updated this week
- 😎TT☆230Updated last year
- A new Categories library for Agda☆384Updated last week
- 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 language with lexical effect handlers and lightweight effect polymorphism☆380Updated this week
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆264Updated last year