ad-si / WoxiLinks
Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)
☆50Updated 2 months ago
Alternatives and similar repositories for Woxi
Users that are interested in Woxi are comparing it to the libraries listed below
Sorting:
- Terminal CLI to Mathics3☆60Updated last month
- ☆101Updated 11 months ago
- An interpreter for the 1991 Oriel scripting language☆58Updated 2 years ago
- Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …☆55Updated 10 years ago
- A toy Wolfram language interpreter.☆39Updated last year
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- Reader to enable embedding images in source files as text☆22Updated last year
- An introduction to the J programming language that gets to the point.☆68Updated last month
- Jupyter to Typst converter with template support☆17Updated 7 months ago
- ☆58Updated 8 months ago
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆77Updated 2 years ago
- Notes on and a reference guide for the Jujutsu version control system, typeset with Typst.☆40Updated 11 months ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated last year
- An interactive Datalog☆65Updated this week
- ☆49Updated 5 months ago
- A Djot implementation in Prolog☆27Updated last month
- My unofficial picat http://picat-lang.org/ repository☆31Updated 2 years ago
- an interactive programming language☆54Updated last week
- Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…☆33Updated 4 months ago
- Learning Constraint Programming with Picat☆54Updated 3 months ago
- High-level interface for low-level programming☆123Updated 2 months ago
- The miniature, embeddable R7RS Scheme implementation☆122Updated this week
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 11 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42Updated 8 months ago
- JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…☆34Updated 3 weeks ago
- ☆21Updated 5 months ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆107Updated 8 months ago
- The WebRacket language is a subset of Racket that compiles to WebAssembly☆109Updated this week