Alternatives and similar repositories for hoogle-translate

Users that are interested in hoogle-translate are comparing it to the libraries listed below

• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆185Updated 5 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆111Updated 3 weeks ago
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆43Updated 5 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆270Updated last week
• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated this week
• codereport / jello
  A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.
  ☆59Updated 6 months ago
• etiams / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆107Updated 3 weeks ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆225Updated 4 months ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆142Updated last year
• fir-lang / fir
  Fir programming language
  ☆64Updated this week
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆94Updated last year
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆356Updated this week
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆116Updated 6 months ago
• etiams / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆23Updated this week
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆315Updated this week
• Brian-ED / rayed-bqn
  Raylib with a bit of bacon spice!
  ☆41Updated last month
• MondayMorningHaskell / haskellings
  An automated tutorial to teach you about Haskell!
  ☆175Updated 2 years ago
• JasonSteving99 / claro-lang
  Claro Lang
  ☆144Updated last year
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆62Updated last month
• codereport / jellyfish
  A fork of Jelly (recreational programming language inspired by J) that fixes bugs I have run into and extends the language.
  ☆15Updated last year
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆17Updated 2 years ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆39Updated 2 weeks ago
• uiua-lang / rayua
  Uiua bindings for Raylib
  ☆27Updated last week
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆264Updated 11 months ago
• tsoding / rere.py
  Universal Behavior Testing Tool in Python.
  ☆56Updated last year
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 6 months ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆380Updated this week
• Wonshtrum / quines
  Quine clock inspired by a Tsoding livestream
  ☆34Updated last year
• tsoding / simple-ocaml-raylib-template
  Intentionally Simple Raylib OCaml Template
  ☆39Updated 2 years ago
• DolphyWind / Electra-Lang
  Electra is an esolang where you code like an electrician.
  ☆97Updated 4 months ago