squirrelinhell / bewelltunedLinks
☆10Updated 7 years ago
Alternatives and similar repositories for bewelltuned
Users that are interested in bewelltuned are comparing it to the libraries listed below
Sorting:
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 8 months ago
- Emacs major mode for Dyalog APL☆16Updated 2 years ago
- Leibniz - a Digital Scientific Notation☆35Updated 2 months ago
- Remembrance Agents for Org-mode, powered by Recoll☆18Updated 5 years ago
- A math language for dimensional analysis☆23Updated 2 years ago
- Jupyter client☆15Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- Spaced-repetition using Hypothes.is☆29Updated 4 years ago
- Let's learn about Lisp☆21Updated 3 years ago
- Reader to enable embedding images in source files as text☆19Updated 6 months ago
- Self-contained, one-step literate markdown.☆25Updated 2 years ago
- An optimizing Brainfuck interpreter.☆14Updated 6 years ago
- Learn Lean and topology☆20Updated 2 years ago
- ☆16Updated 3 months ago
- EA Forum Reader: a fast and JavaScript-free way to browse the Effective Altruism Forum (and LessWrong 2.0)☆12Updated 2 weeks ago
- A relational interpretation of Lojban☆34Updated last week
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 3 months ago
- A data visualization library for Racket.☆37Updated 7 months ago
- A package and module for using GNU Guix on Nix(OS). Kinda more a code dump than for actual use. See fork☆15Updated 5 years ago
- A tiny, self-contained, general-purpose quantum interpreter.☆49Updated last year
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- A column-oriented, dataframe implementation for Racket.☆17Updated 2 months ago
- 🔖⚛️ RSS / Atom feed generation library for Racket☆22Updated 3 months ago
- A grammar of data manipulation for Racket.☆20Updated 7 months ago
- random art generator☆24Updated last month
- Philosophy diagrams in Ti𝑘Z☆37Updated 3 years ago
- An alternative frontend for LessWrong 2.0☆70Updated this week
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆44Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆29Updated last month
- Metamath verifier in Python☆40Updated 3 weeks ago