khinsen / leibniz-pharoLinks
Leibniz - a Digital Scientific Notation
☆34Updated last month
Alternatives and similar repositories for leibniz-pharo
Users that are interested in leibniz-pharo are comparing it to the libraries listed below
Sorting:
- Pharo edition of ActivePapers☆21Updated 4 years ago
- ☆24Updated this week
- Sunrise on the Boxer Reconstruction Project☆49Updated 2 weeks ago
- ☆18Updated 3 years ago
- Visually bootstrap a self-sustaining system, and take it from there.☆11Updated 3 months ago
- miniKanren in Pharo☆10Updated 11 months ago
- Prototypes: Object Orientation, Functionally☆44Updated last month
- A programming language and user interface toolkit for creating structured editors.☆20Updated 7 months ago
- the 7 gui project☆56Updated last year
- A presentation tool written in J☆19Updated last year
- Interactive Scheme Primer, written in Scheme.☆21Updated 8 months ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆22Updated 2 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago
- ☆51Updated 2 weeks ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Kanren with databases☆43Updated 10 months ago
- A graphics library for producing Racket picts in a MetaPost/TikZ style.☆70Updated 5 months ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 11 months ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆17Updated last year
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- microKanren implementation from DLS '16☆14Updated 7 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated last month
- A functional scripting language compiling to pure Lambda Calculus☆24Updated last week
- A programming argot☆58Updated last year
- The version of Pharo by Example for Pharo 90☆32Updated 9 months ago
- A mathematical foundation for Smalltalk-25☆17Updated this week
- Reader to enable embedding images in source files as text☆19Updated 5 months ago
- Book lucid interpreter written in python☆24Updated 5 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago