Alternatives and similar repositories for tcs-suffering:

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

• Surowizator / tcstorment
  ☆19Updated 2 weeks ago
• m4tx / satori-enhancements
  WebExtension that adds various quality-of-life improvements to Satori Online Judge website.
  ☆16Updated 4 months ago
• mhorod / oop-unit-tests
  Unit tests for problems of Object Oriented Programming course on TCS
  ☆10Updated 2 years ago
• cloud11665 / koishi
  Python wrapper for the unofficial scraped API of the satori testing system.
  ☆15Updated 3 years ago
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆193Updated 2 weeks ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆355Updated this week
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆124Updated 4 years ago
• rodrigogiraoserrao / APLLeetCode
  Solving LeetCode problems in Dyalog APL
  ☆12Updated 2 years ago
• Mesabloo / nihil
  Nihil, a statically typed interpreted functional programming language
  ☆68Updated 4 years ago
• zilch-lang / zilch
  A statically-typed, low-level, functional programming language with some focus on runtime performance
  ☆27Updated last year
• sandmor / periodic-table-on-an-enum
  ☆22Updated last year
• pnotequalnp / valid-reasons-to-use-java
  Exhaustive list
  ☆22Updated 4 years ago
• TrueBoxGuy / Iocularia
  ☆9Updated 3 years ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆120Updated 9 months ago
• pxeger / whython
  Fork of Python with some terrible custom features hacked in
  ☆16Updated 2 years ago
• zakcutner / rumpsteak
  Session types for asynchronous communication between multiple parties.
  ☆41Updated 9 months ago
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆326Updated 2 years ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆262Updated 8 months ago
• simmsb / calamity
  A library for writing discord bots in haskell
  ☆115Updated 6 months ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆29Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆249Updated this week
• Timwi / Funciton
  Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…
  ☆42Updated 3 months ago
• luminalang / lumina
  Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…
  ☆88Updated last week
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆163Updated 2 years ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆99Updated last week
• sdleffler / type-operators-rs
  A macro for defining type operators in Rust.
  ☆65Updated 8 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• ReTeX / ReX
  ReX - typesetting mathematics
  ☆123Updated 4 years ago
• agda / cubical
  An experimental library for Cubical Agda
  ☆478Updated last month