Alternatives and similar repositories for ce

Users that are interested in ce are comparing it to the libraries listed below

• ccz181078 / Coq-BB5
  ☆345Updated last month
• TodePond / WhenWillProgrammersStopMakingDecisionsForOurSocietyAndJustLeaveUsAloneAlsoHackerNewsIsAVileWebsite
  imperfect programming language
  ☆260Updated 6 months ago
• dreamsmasher / is-even
  A Haskell library to verify if a number is even.
  ☆10Updated 2 years ago
• vivaansinghvi07 / dreamberd-interpreter
  Interpreter for the perfect programming language
  ☆389Updated 9 months ago
• learnyouahaskell / learnyouahaskell.github.io
  A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
  ☆465Updated 6 months ago
• Glistix / glistix
  Fork of the Gleam compiler providing a Nix backend, compiling Gleam to Nix
  ☆195Updated 3 weeks ago
• simmsb / calamity
  A library for writing discord bots in haskell
  ☆123Updated 5 months ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆61Updated 2 months ago
• codereport / hoogle-translate
  ☆109Updated last month
• cull-os / carcass
  The Cull monorepository.
  ☆152Updated last week
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆237Updated 3 months ago
• icnots / imperative-programming-seminar
  ☆10Updated last week
• uiua-lang / uiua
  A tacit array programming language
  ☆1,946Updated this week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆178Updated last month
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆324Updated 2 weeks ago
• tsoding / tula
  Turing Language
  ☆207Updated last year
• srid / haskell-template
  Haskell project template using Nix + Flakes + VSCode (HLS)
  ☆282Updated this week
• sudofox / shell-mommy
  Mommy is here for you on the command line ~ ❤️
  ☆495Updated 3 weeks ago
• fjvallarino / monomer
  An easy to use, cross platform, GUI library for writing Haskell applications.
  ☆636Updated last year
• tsoding / Noq
  Simple expression transformer that is not Coq.
  ☆263Updated 2 years ago
• betaveros / noulith
  *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
  ☆1,154Updated 2 months ago
• sin-ack / papertoy
  Run a Shadertoy-compatible shader as an animated wallpaper on Wayland
  ☆96Updated 2 months ago
• devNegative-asm / TypeLisp
  Inspired by typelang, a lisp implemented in typescript's type engine
  ☆13Updated last year
• mlochbaum / BQN
  An APL-like programming language
  ☆1,008Updated last week
• lukewilliamboswell / roc-awesome
  Awesome Roc
  ☆187Updated 4 months ago
• mcb-dev / mCodingBot
  The Discord bot for the mCoding Discord server.
  ☆12Updated 2 years ago
• HigherOrderCO / HVM3
  HVM3
  ☆268Updated last month
• jeff-hykin / JDSL
  INVENTED BY TOM: The 1st JSON-Infused Zonal Metadata Language (JIZML) paradigm
  ☆175Updated last year
• CharlotteCross1998 / linuwux
  A collection of uwu images of distros.
  ☆561Updated 3 months ago
• schizofox / schizofox
  Hardened Firefox flake for the delusional and the schizophrenics.
  ☆261Updated 2 months ago