Font for turning J into APL
☆12Sep 30, 2018Updated 7 years ago
Alternatives and similar repositories for japl
Users that are interested in japl are comparing it to the libraries listed below
Sorting:
- ☆11Nov 28, 2014Updated 11 years ago
- Organize mathematical thoughts☆20Oct 6, 2023Updated 2 years ago
- Scheme implementation (now maybe working properly)☆19Dec 3, 2023Updated 2 years ago
- Finite domain constraint solver in Haskell☆20Oct 2, 2021Updated 4 years ago
- ☆16Apr 19, 2022Updated 3 years ago
- Melange bindings to the DOM and other Web APIs☆21Dec 14, 2025Updated 2 months ago
- Idris tactics for (commutative) monoids☆20May 24, 2020Updated 5 years ago
- es4 clone☆27Feb 27, 2014Updated 12 years ago
- Q to C lib compiler☆24Feb 6, 2025Updated last year
- General object display with type and structure☆26May 16, 2021Updated 4 years ago
- It's me!☆10Nov 12, 2021Updated 4 years ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated 5 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆123Updated this week
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- Experimental RDMA Distribution Driver for Erlang☆41Jan 6, 2014Updated 12 years ago
- Consolidated J language code referenced in my blog Analyze the Data not the Drivel☆39Dec 20, 2025Updated 2 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Oct 25, 2024Updated last year
- Data Science Ontology☆40Sep 17, 2025Updated 5 months ago
- A derivative approach to finding your way in BQN☆43Feb 16, 2026Updated 2 weeks ago
- KCP - A Fast and Reliable ARQ Protocol A KCP implementation in Erlang☆10Mar 15, 2019Updated 6 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Idris Todo web application example☆41Jan 30, 2023Updated 3 years ago
- Functional Monadic Library for Ocaml☆57Feb 22, 2026Updated last week
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 3 months ago
- An extendable powerline plugin for clink☆10Apr 10, 2019Updated 6 years ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf☆13Oct 11, 2018Updated 7 years ago
- Computation of Sparse Eigenvectors of a Matrix☆12Dec 22, 2018Updated 7 years ago
- threadstack, ergonomic library for thread local stacks☆11Mar 5, 2021Updated 5 years ago
- The Ash golfing language☆10Apr 1, 2021Updated 4 years ago
- WWW offline explorer☆15Jun 12, 2012Updated 13 years ago
- A modified version of Bresenham's line algorithm for drawing lines of arbitrary thickness.☆12Apr 14, 2015Updated 10 years ago
- Map between IETF language tags and OpenType language system tags☆12Aug 20, 2020Updated 5 years ago