mhorod / tcs-sufferingLinks
Notes from subjects taught on TCS, JU
☆24Updated last month
Alternatives and similar repositories for tcs-suffering
Users that are interested in tcs-suffering are comparing it to the libraries listed below
Sorting:
- ☆24Updated last week
- Unit tests for problems of Object Oriented Programming course on TCS☆10Updated 3 years ago
- A Language with Dependent Data and Codata Types☆105Updated this week
- Alternative algorithm for algebraic subtyping.☆162Updated last month
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆67Updated last year
- WebExtension that adds various quality-of-life improvements to Satori Online Judge website.☆16Updated 5 months ago
- Simple expression transformer that is not Coq.☆259Updated last year
- a proof-of-concept programming language based on call-by-push-value☆53Updated this week
- A low-level, postfix, functional programming language that compiles to WebAssembly☆26Updated last month
- A library for writing discord bots in haskell☆116Updated last week
- Large Scale Type Systems (programming language)☆123Updated last week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆372Updated this week
- A proof assistant for higher-dimensional type theory☆198Updated this week
- Staged compilation with dependent types☆174Updated last month
- HoTTEST Summer School materials☆297Updated this week
- A wiki for collaborative work on totally legitimate "category theory"☆112Updated 11 months ago
- A Hindley-Milner polymorphic typing system☆58Updated last year
- A simple ML-like programming language with subtyping and full type inference.☆175Updated 6 months ago
- Natural Number Game☆167Updated 2 months ago
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆45Updated last year
- A lambda calculus parser, evaluator and repl☆11Updated 3 years ago
- A declarative concatenative programming language☆164Updated 7 months ago
- The Curly programming language (now in Rust!)☆29Updated 4 years ago
- ReX - typesetting mathematics☆124Updated 4 years ago
- Maintenance of the pointfree Hackage package.☆146Updated 7 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- A C-like native programming language☆9Updated 3 years ago
- Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…☆42Updated 4 months ago
- A programming language supporting most of both declarative and imperative programming☆52Updated last month
- A series of down-to-earth articles on implementing type inference☆156Updated 5 years ago