Alternatives and similar repositories for hoogle-translate

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

• Omnikar / uiua-math
  Library of math functions for the Uiua programming language
  ☆28Updated last week
• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated last week
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆110Updated 2 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆268Updated this week
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆114Updated last week
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆106Updated 2 weeks ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆62Updated 3 weeks ago
• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆184Updated 4 months ago
• fir-lang / fir
  Fir programming language
  ☆61Updated this week
• qexat / ansifmt
  A simple, lightweight library for ANSI formatting with powerful features such as a element-based system for pretty-printing code in the t…
  ☆21Updated 4 months ago
• codereport / jello
  A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.
  ☆58Updated 5 months 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 4 months ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆116Updated 6 months ago
• razetime / bqn-vscode
  BQN programming language vscode plugin (symbol input, syntax highlighting)
  ☆22Updated 8 months ago
• tsoding / qbe-notes
  Notes from the stream where I was checking out QBE
  ☆19Updated last year
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆17Updated 2 years ago
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆142Updated 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.
  ☆266Updated this week
• uiua-lang / uiua-vscode
  Uiua language client extension for VSCode
  ☆23Updated last month
• codereport / bqn-code
  A compilation of BQN solutions to various coding challenges.
  ☆12Updated 3 weeks ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆88Updated 2 months ago
• tsoding / rere.py
  Universal Behavior Testing Tool in Python.
  ☆55Updated last year
• Brian-ED / rayed-bqn
  Raylib with a bit of bacon spice!
  ☆41Updated 3 weeks ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆56Updated 7 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 3 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆70Updated last week
• athas / aoc22
  Advent of Futhark
  ☆13Updated 7 months ago
• Omnikar / uiua-plot
  Data plotting library for the Uiua programming language
  ☆13Updated last week
• pellertson / awesome-bqn
  A list of awesome libraries for BQN.
  ☆32Updated 6 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago