mhorod / tcs-suffering
Notes from subjects taught on TCS, JU
☆22Updated 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:
- WebExtension that adds various quality-of-life improvements to Satori Online Judge website.☆16Updated 5 months ago
- Solving LeetCode problems in Dyalog APL☆12Updated 2 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆13Updated 4 years ago
- A C-like native programming language☆9Updated 3 years ago
- The Curly programming language (now in Rust!)☆29Updated 3 years ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆107Updated last year
- The only true brainfuck-targetting assembler.☆115Updated 2 years ago
- Safe, zero-cost tail recursion for stable Rust☆161Updated 7 months ago
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆67Updated last year
- A series of down-to-earth articles on implementing type inference☆155Updated 4 years ago
- Staged compilation with dependent types☆172Updated last week
- Session types for asynchronous communication between multiple parties.☆41Updated 10 months ago
- A pure functional language for type-level programming in Rust☆327Updated 2 years ago
- A declarative concatenative programming language☆164Updated 6 months ago
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆45Updated 11 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- A Language with Dependent Data and Codata Types☆104Updated this week
- ☆9Updated 3 years ago
- A language with lexical effect handlers and lightweight effect polymorphism☆356Updated this week
- A WIP little dependently-typed systems language☆41Updated 9 months ago
- Please do not use this.☆174Updated 3 years ago
- agda-mode on VS Code☆175Updated this week
- RRust, a reversible Rust DSL☆40Updated 5 months ago
- Rust macro that uses GPT3 codex to generate code at compiletime☆70Updated 3 years ago
- An interpreter for learning and exploring pure λ-calculus☆456Updated 4 years ago
- kolejka is a lightweight task scheduling platform developed for a small computational grid at Faculty of Mathematics and Computer Science…☆14Updated 7 months ago
- HoTTEST Summer School materials☆297Updated last year
- A statically-typed, low-level, functional programming language with some focus on runtime performance☆27Updated last year
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- The IntercalScript programming language☆138Updated 4 years ago