minchingtonak / lambster

Related projects ⓘ

Alternatives and complementary repositories for lambster

• Dyalog / ride
  Cross-platform IDE for Dyalog APL
  ☆206Updated this week
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆91Updated last week
• xpqz / learnapl
  Introduction to Dyalog APL: https://xpqz.github.io/learnapl
  ☆133Updated last year
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆65Updated last year
• smlnj / smlnj
  Standard ML of New Jersey
  ☆184Updated 2 weeks ago
• dzaima / CBQN
  a BQN implementation in C
  ☆327Updated this week
• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆152Updated 2 months ago
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆134Updated 4 years ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆388Updated last year
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆290Updated this week
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆109Updated last week
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆156Updated 2 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆88Updated this week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆177Updated this week
• blynn / compiler
  The adventures of a Haskell compiler
  ☆214Updated last month
• smlnj / legacy
  This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
  ☆34Updated this week
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆184Updated 3 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆72Updated last month
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆34Updated last year
• tsoding / haskell-json
  Source Code for JSON Parser Video
  ☆169Updated last year
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆133Updated this week
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆75Updated 3 years ago
• azdavis / millet
  A language server for Standard ML.
  ☆217Updated last month
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆89Updated last year
• elucent / scheme2d
  The future of programming.
  ☆70Updated 3 years ago
• ngzhian / ski
  SKI combinators
  ☆50Updated 7 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 10 years ago
• g-ford / cradle
  Let's Build a Compiler (in Haskell)
  ☆159Updated 4 years ago
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆615Updated last month