Alternatives and similar repositories for tcs-suffering:

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

• luminalang / lumina
  Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…
  ☆85Updated this week
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆59Updated 3 years ago
• calypso-lang / calypso
  Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.
  ☆67Updated 10 months ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆124Updated 4 years ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆117Updated 8 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆58Updated last year
• alecdotninja / tailcall
  Safe, zero-cost tail recursion for stable Rust
  ☆158Updated 5 months ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆34Updated 3 years ago
• ReTeX / ReX
  ReX - typesetting mathematics
  ☆123Updated 4 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆81Updated last month
• Erk- / RRust
  RRust, a reversible Rust DSL
  ☆40Updated 4 months ago
• huonw / primal
  primal puts raw power into prime numbers.
  ☆116Updated 6 months ago
• ivandardi / RustbotPython
  A Discord bot for the Community Rust Language server, written in Python.
  ☆16Updated last year
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆102Updated this week
• azriel91 / enum_variant_type
  Proc macro derive to generate structs from enum variants.
  ☆28Updated last year
• 1Computer1 / errata
  Source code error pretty printing
  ☆48Updated 3 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆94Updated this week
• owo-lang / voile-rs
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆97Updated 4 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 7 months ago
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆326Updated 2 years ago
• Emerentius / partial_application
  Partial function application macro for Rust
  ☆47Updated 4 years ago
• oliver-giersch / closure
  A macro wrapping Rust closure calls that allows for capturing variables in scope on an individual bases.
  ☆40Updated 2 years ago
• blueforesticarus / ted
  table editor
  ☆30Updated 2 years ago
• DenialAdams / roland
  Roland programming language
  ☆60Updated this week
• ren-lang / compiler
  Cleaner, clearer JavaScript. A modern scripting language for the Web.
  ☆100Updated last year
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆58Updated last year
• o2sh / add-one
  adds one to a number
  ☆25Updated 4 years ago
• MakotoE / sexually_transmitted_disease
  ☆22Updated 3 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆111Updated 5 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆171Updated 4 months ago