Alternatives and similar repositories for tcs-suffering

Users that are interested in tcs-suffering are comparing it to the libraries listed below

• cloud11665 / koishi
  Python wrapper for the unofficial scraped API of the satori testing system.
  ☆15Updated 3 years ago
• m4tx / satori-enhancements
  WebExtension that adds various quality-of-life improvements to Satori Online Judge website.
  ☆16Updated 10 months ago
• rodrigogiraoserrao / APLLeetCode
  Solving LeetCode problems in Dyalog APL
  ☆12Updated 3 years ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆133Updated last month
• dvtate / postfix-haskell
  A low-level, postfix, functional programming language that compiles to WebAssembly
  ☆26Updated 4 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆124Updated this week
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆336Updated 2 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆160Updated 5 years ago
• Mesabloo / nihil
  Nihil, a statically typed interpreted functional programming language
  ☆69Updated 4 years ago
• Noratrieb / bool-toggle
  ☆12Updated last year
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆167Updated last month
• luminalang / lumina
  Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…
  ☆108Updated 3 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆61Updated last year
• haraldmaida / lamcal
  A lambda calculus parser, evaluator and repl
  ☆11Updated 4 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆125Updated last year
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆404Updated this week
• tsoding / Noq
  Simple expression transformer that is not Coq.
  ☆263Updated 2 years ago
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆70Updated last year
• simmsb / calamity
  A library for writing discord bots in haskell
  ☆123Updated 5 months ago
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated last week
• insou22 / typing-the-technical-interview-rust
  https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
  ☆148Updated 3 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆133Updated 2 years ago
• amethyst-lang / amethyst
  Amethyst is a systems language aimed at being simple, small, portable, and safe.
  ☆44Updated last year
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆141Updated 5 years ago
• shadyfennec / baugelang
  An esoteric programming language, using box-drawing characters
  ☆29Updated 8 months ago
• ehatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• BSLang / BS
  Implementation of the BS language as created by Mark Rendle at BuildStuff.lt 2014. Refer to this repo for information and canonical list …
  ☆211Updated 3 years ago
• chunkybanana / halfwit
  Halfwit is an experimental golfing language that fits most commands in half a byte.
  ☆13Updated 3 years ago