colltoaction / widipLinks
A higher-order computing system
☆26Updated last month
Alternatives and similar repositories for widip
Users that are interested in widip are comparing it to the libraries listed below
Sorting:
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆44Updated 4 months ago
- Leibniz - a Digital Scientific Notation☆36Updated 4 months ago
- An implementation of interaction nets as a forth-like language.☆36Updated 3 weeks ago
- Jupyter notebooks for Dyalog APL☆45Updated last year
- Catalog of visual lambda calculi☆150Updated last month
- The rule-based graph programming language GP 2☆68Updated last year
- The Flix Programming Book☆19Updated this week
- ⏺✍️ Write in Markdown+Racket, publish to multiple formats☆48Updated 2 weeks ago
- interactive programming tutorials, powered by Github and Docker☆143Updated 2 months ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆22Updated 2 years ago
- Mirror of https://hg.sr.ht/~arnebab/wisp☆14Updated 4 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated last year
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- A Jupyter kernel for Dyalog APL☆74Updated last month
- A Modeling Notation ꕤ☆15Updated 3 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆107Updated this week
- Awesome Geometric Algebra☆28Updated 5 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆23Updated 3 months ago
- (early experiments toward) a version-control system for structured data☆18Updated 2 years ago
- Transform git histories between tree-like and linear forms☆28Updated 5 years ago
- Example of using s7 Scheme with web assembly and emscripten☆15Updated 2 years ago
- archived prototype for sketching dynamic models☆32Updated 2 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 10 months ago
- Convert an EBNF grammar to the tree-sitter dsl☆28Updated last year
- Reader to enable embedding images in source files as text☆20Updated 8 months ago
- A digital garden on science in the era of computers and networks (moved to https://codeberg.org/khinsen/science-in-the-digital-era)☆11Updated last year
- An AST-Editor☆33Updated this week
- ☆17Updated 6 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 weeks ago