mhorod / tcs-sufferingLinks
Notes from subjects taught on TCS, JU
☆25Updated 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 6 months ago
- A Language with Dependent Data and Codata Types☆106Updated 3 weeks ago
- A lambda calculus parser, evaluator and repl☆11Updated 3 years ago
- Python wrapper for the unofficial scraped API of the satori testing system.☆15Updated 3 years ago
- A simple ML-like programming language with subtyping and full type inference.☆176Updated 6 months ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆56Updated 7 months ago
- A language with lexical effect handlers and lightweight effect polymorphism☆377Updated this week
- A systems theorem prover☆11Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆114Updated last year
- A WIP little dependently-typed systems language☆41Updated 10 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Staged compilation with dependent types☆177Updated last month
- Alternative algorithm for algebraic subtyping.☆166Updated this week
- A codegolf language for mortals☆32Updated 2 months ago
- ☆9Updated 3 years ago
- A proof assistant for higher-dimensional type theory☆200Updated last week
- 😎TT☆228Updated last year
- SFLK programing language reference interpreter☆12Updated 2 years ago
- Raylib bindings for Lean4☆26Updated 2 months ago
- Library of math functions for the Uiua programming language☆28Updated this week
- Macros have types!☆129Updated 2 years ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆34Updated 4 years ago
- A pure functional language for type-level programming in Rust☆330Updated 2 years ago
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆67Updated last year
- a proof-of-concept programming language based on call-by-push-value☆54Updated this week
- Session types for asynchronous communication between multiple parties.☆41Updated 11 months ago
- The Curly programming language (now in Rust!)☆29Updated 4 years ago
- The agda-unimath library☆257Updated this week
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- Data plotting library for the Uiua programming language☆13Updated last week