khinsen / leibniz-pharoLinks
Leibniz - a Digital Scientific Notation
☆35Updated 2 months ago
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
- ☆25Updated 3 weeks ago
- Visually bootstrap a self-sustaining system, and take it from there.☆11Updated 3 months ago
- Kanren with databases☆43Updated 10 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Interactive Scheme Primer, written in Scheme.☆22Updated last week
- various toys in j☆12Updated 3 years ago
- Sunrise on the Boxer Reconstruction Project☆51Updated this week
- A programming argot☆58Updated last year
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated 2 weeks ago
- ☆53Updated last month
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated last week
- Reader to enable embedding images in source files as text☆19Updated 5 months ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago
- ☆19Updated 3 years ago
- The version of Pharo by Example for Pharo 90☆32Updated 9 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆52Updated 8 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- A functional scripting language compiling to pure Lambda Calculus☆27Updated last month
- ☆100Updated 3 years ago
- The GRAphical Scheme Programming Environment☆47Updated this week
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- An embeddable flow-oriented language.☆71Updated last week
- ☆27Updated 3 weeks ago
- miniKanren in Pharo☆10Updated last year
- ☆42Updated 3 weeks ago
- the Context distribution of the Smalltalk programming language :: live discussion at https://squeak.slack.com☆38Updated last year
- UI infrastructure & framework for Pharo.☆17Updated last week
- Plot Cookbook☆50Updated 2 years ago
- A booklet on the Smacc compiler compiler framework☆14Updated 8 months ago