Alternatives and similar repositories for apple:

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

• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 8 months ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆70Updated 8 years ago
• jkoppel / ecta
  ☆35Updated last year
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 5 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆55Updated last week
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆58Updated last year
• vmchale / pybqn
  BQN↔NumPy bridge
  ☆20Updated last month
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆140Updated last month
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆163Updated this week
• rain-1 / continuations-study-group
  ☆79Updated 5 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• mthom / scryer-shen
  ☆48Updated 5 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆63Updated 7 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• stchang / macrotypes
  ☆137Updated 2 years ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated 11 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆57Updated last week
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 7 months ago
• cannadayr / rsbqn
  An embeddable BQN virtual machine in rust. Stay tuned!
  ☆34Updated 2 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆42Updated 5 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆57Updated 11 months ago
• standardml / twelf
  The Twelf Programming Language
  ☆128Updated 3 months ago
• liam923 / remora
  A dependently-typed, array-polymorphic language that runs on parallel architectures
  ☆21Updated 7 months ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆87Updated this week
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆54Updated 8 months ago