Alternatives and similar repositories for tcs-suffering

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

• m4tx / satori-enhancements
  WebExtension that adds various quality-of-life improvements to Satori Online Judge website.
  ☆16Updated 9 months ago
• haraldmaida / lamcal
  A lambda calculus parser, evaluator and repl
  ☆11Updated 3 years ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆394Updated this week
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆180Updated 9 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆118Updated this week
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆336Updated 2 years ago
• rodrigogiraoserrao / APLLeetCode
  Solving LeetCode problems in Dyalog APL
  ☆12Updated 3 years ago
• razetime / bqn-vscode
  BQN programming language vscode plugin (symbol input, syntax highlighting)
  ☆22Updated 11 months ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆131Updated 4 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆120Updated last year
• insou22 / typing-the-technical-interview-rust
  https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
  ☆148Updated 3 years ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆159Updated 5 years ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆180Updated 4 months ago
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆203Updated this week
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆61Updated last year
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆199Updated last week
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated 2 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆265Updated last year
• Erk- / genfut
  Generate bindings for Futhark
  ☆38Updated 2 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆466Updated 4 years ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆166Updated 11 months ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• calypso-lang / calypso
  Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.
  ☆67Updated last year
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• bodil / higher
  Your favourite Haskell type classes for Rust
  ☆264Updated 2 years ago
• digama0 / mm0
  Metamath Zero specification language
  ☆352Updated last month
• luminalang / lumina
  Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…
  ☆105Updated last month
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago
• zilch-lang / zilch
  A statically-typed, low-level, functional programming language with some focus on runtime performance
  ☆29Updated 2 years ago
• dvtate / postfix-haskell
  A low-level, postfix, functional programming language that compiles to WebAssembly
  ☆26Updated 3 months ago