CharlesAverill / satyrn
A Notebook alternative that supports branching code and local collaboration.
☆16Updated 4 years ago
Alternatives and similar repositories for satyrn:
Users that are interested in satyrn are comparing it to the libraries listed below
- Interpolate between embedding points with llm☆32Updated 6 months ago
- Autoregressive transformers in APL☆96Updated 3 weeks ago
- ☆50Updated 7 months ago
- Visual inference exploration & experimentation playground☆85Updated 2 months ago
- A Low Barrier Proof Assistant☆71Updated this week
- Grow virtual creatures in static and physics simulated environments.☆52Updated 10 months ago
- Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…☆84Updated last week
- ZSV Utility for converting json to/from zip-separated-values☆58Updated 7 months ago
- ☆34Updated 8 months ago
- Back-of-the-envelope stuffs in Python☆20Updated last year
- The Finite Field Assembly Programming Language☆34Updated last week
- High-Performance Klong array language in Python.☆289Updated last month
- Mini elm-inspired utilities for Ocaml CLI applications☆72Updated 2 months ago
- Optimum graph creation and distribution for underground networks.☆33Updated 7 months ago
- A (still naive, incomplete and unstable) programming language based on Girard's transcendental syntax☆89Updated this week
- ☆58Updated 4 months ago
- Analyzing hacker news in real-time with Bytewax and Proton☆38Updated last year
- A probabilistic approximate DNF counter☆36Updated 9 months ago
- the origins of J☆62Updated last year
- What if an HNSW index was just a file, and you could serve it from a CDN, and search it directly in the browser?☆89Updated 8 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆31Updated 4 months ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated last year
- ☆57Updated this week
- Visualizing movie frames as art☆120Updated 4 years ago
- PostgreSQL Prolog language handler☆131Updated 9 months ago
- Responsive, animated figures in JavaScript/HTML canvases☆132Updated 2 weeks ago
- OCaml bindings for Python☆188Updated 7 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 3 months ago
- spoken word invocations for Talon☆41Updated 8 months ago
- A tangible interface for virtual things☆113Updated this week