tsoding / louis

Related projects ⓘ

Alternatives and complementary repositories for louis

• 1Computer1 / errata
  Source code error pretty printing
  ☆47Updated 10 months ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆49Updated last year
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated last month
• tsoding / rogalik
  Simple rogue-like game in Haskell
  ☆17Updated 3 years ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆28Updated last year
• KeliLanguage / vscode-lsp
  Keli extension for Visual Studio Code
  ☆10Updated 5 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆27Updated last week
• VictorTaelin / absal-ex
  Absal ex
  ☆55Updated last year
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated last year
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• lunarcast / lunarbox
  Visual functional programming language
  ☆23Updated 11 months ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆20Updated 6 months ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆119Updated 3 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆81Updated 2 years ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆11Updated 10 months ago
• dmjio / LC3
  The LC3 virtual machine
  ☆22Updated 2 years ago
• lortabac / ariel
  A simple, purely-functional programming language
  ☆24Updated 2 years ago
• tsoding / time-displacement-in-rust
  Time Displacement in Rust
  ☆10Updated 4 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆23Updated last year
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last month
• 4e6 / nanoid-hs
  Haskell implementation of Nanoid, secure URL-friendly unique ID generator.
  ☆20Updated 6 years ago
• Kleidukos / Intrigue
  My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
  ☆15Updated 10 months ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 4 months ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆72Updated 4 years ago
• tsoding / kgbotka
  Twitch/Discord Chat Bot that works for KGB monkaS
  ☆17Updated 4 years ago
• tsoding / HyperNerd
  Total Surveillance Automatic Ban Machine for Twitch and Discord
  ☆148Updated 4 years ago
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆64Updated 9 months ago