Alternatives and similar repositories for japl

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

• uemurax / morg

  View on GitHub
  Organize mathematical thoughts
  ☆21Oct 6, 2023Updated 2 years ago
• joebo / j-emscripten

  View on GitHub
  ☆11Nov 28, 2014Updated 11 years ago
• playXE / capy

  View on GitHub
  Scheme implementation (now maybe working properly)
  ☆19Dec 3, 2023Updated 2 years ago
• ehatti / konna

  View on GitHub
  ☆16Apr 19, 2022Updated 3 years ago
• dmoverton / finite-domain

  View on GitHub
  Finite domain constraint solver in Haskell
  ☆20Oct 2, 2021Updated 4 years ago
• melange-community / melange-webapi

  View on GitHub
  Melange bindings to the DOM and other Web APIs
  ☆21Dec 14, 2025Updated 2 months ago
• jdevuyst / rekenaar

  View on GitHub
  Idris tactics for (commutative) monoids
  ☆20May 24, 2020Updated 5 years ago
• bkero / es4

  View on GitHub
  es4 clone
  ☆27Feb 27, 2014Updated 11 years ago
• quintanar401 / q2c

  View on GitHub
  Q to C lib compiler
  ☆24Feb 6, 2025Updated last year
• LeslieGoldsmith / dpy

  View on GitHub
  General object display with type and structure
  ☆26May 16, 2021Updated 4 years ago
• jlord / jlord

  View on GitHub
  It's me!
  ☆10Nov 12, 2021Updated 4 years ago
• robsimmons / abbot

  View on GitHub
  Generation of abstract binding trees
  ☆27Sep 26, 2025Updated 4 months ago
• robsimmons / dusa

  View on GitHub
  A logic programming language that has features of both Datalog and answer set programming.
  ☆123Jan 20, 2026Updated 3 weeks ago
• TOTBWF / omit-generics

  View on GitHub
  Omit fields for instance deriving
  ☆37Jun 5, 2020Updated 5 years ago
• puppetjoy / rdma_dist

  View on GitHub
  Experimental RDMA Distribution Driver for Erlang
  ☆41Jan 6, 2014Updated 12 years ago
• bakerjd99 / jacks

  View on GitHub
  Consolidated J language code referenced in my blog Analyze the Data not the Drivel
  ☆39Dec 20, 2025Updated last month
• rootmos / silly-joy

  View on GitHub
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Oct 25, 2024Updated last year
• mlochbaum / bqncrate

  View on GitHub
  A derivative approach to finding your way in BQN
  ☆41Jan 26, 2026Updated 2 weeks ago
• IBM / datascienceontology

  View on GitHub
  Data Science Ontology
  ☆40Sep 17, 2025Updated 4 months ago
• abailly / xxi-century-typed

  View on GitHub
  Support code for talk 'XXIst century shall be typed or not be'
  ☆15Oct 21, 2022Updated 3 years ago
• yidayoung / ekcp

  View on GitHub
  KCP - A Fast and Reliable ARQ Protocol A KCP implementation in Erlang
  ☆10Mar 15, 2019Updated 6 years ago
• Zekt / Type-Embellishment

  View on GitHub
  Experimenting on ornamentation in Agda via reflection.
  ☆12Jul 1, 2023Updated 2 years ago
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• leon-vv / Todo

  View on GitHub
  Idris Todo web application example
  ☆41Jan 30, 2023Updated 3 years ago
• hbr / fmlib

  View on GitHub
  Functional Monadic Library for Ocaml
  ☆56Jan 13, 2026Updated last month
• PerplexSystems / commandry

  View on GitHub
  A command-line parser for Standard ML
  ☆21Dec 29, 2025Updated last month
• pest-parser / site

  View on GitHub
  This repo contains the source code for https://pest.rs
  ☆13Feb 1, 2026Updated last week
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• basiliscos / erl-erlyfix

  View on GitHub
  FIX (Foreign Information Exchange) protocol implementation for Erlang
  ☆11Dec 16, 2017Updated 8 years ago
• crabbo-rave / Soup

  View on GitHub
  Extra and extended datatypes for Lean 4
  ☆12Nov 12, 2022Updated 3 years ago
• jgarvin / threadstack

  View on GitHub
  threadstack, ergonomic library for thread local stacks
  ☆11Mar 5, 2021Updated 4 years ago
• kssytsrk / cellular-automata

  View on GitHub
  Cellular automata environment written in Common Lisp
  ☆18Apr 17, 2021Updated 4 years ago
• trogdoro / dotsies

  View on GitHub
  Misc resources for Dotsies - a font that uses dots instead of letters.
  ☆15Apr 3, 2012Updated 13 years ago
• techslides / webapp

  View on GitHub
  Web Application in Go Language
  ☆15Feb 14, 2014Updated 12 years ago
• tutsplus / design-patterns-in-ruby

  View on GitHub
  Source code for Design Patterns in Ruby Tuts+ course
  ☆11Dec 30, 2015Updated 10 years ago
• nikomatsakis / rust-name-resolution-algorithm

  View on GitHub
  A prototype of my proposed name resolution algorithm for Rust.
  ☆13Nov 24, 2015Updated 10 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• andy128k / sanitize-html-rs

  View on GitHub
  Rust library for HTML santisation. https://docs.rs/sanitize_html/
  ☆16Oct 20, 2025Updated 3 months ago
• travelping / pfcplib

  View on GitHub
  Erlang library for encoding and decoding Packet Forwarding Control Protocol (PFCP) frames.
  ☆13Jun 24, 2024Updated last year