mattmight / bib2sx
A tool for manipulating bibtex files as s-expressions
☆33Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for bib2sx
- Probabilistic Programming☆40Updated 10 months ago
- Data science tooling for Racket☆84Updated 5 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 9 years ago
- Dr. Bayes☆83Updated 8 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 5 years ago
- a racket lang-extension for debugging, and a macro for inserting a debug-repl☆36Updated 2 years ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS background☆23Updated 6 years ago
- A data frame implementation for Racket☆37Updated 6 months ago
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- The Aldor Programming Language☆33Updated 4 months ago
- Use Travis CI with Racket☆42Updated 3 years ago
- Source Codes for "A Pamphlet against R"☆100Updated 3 years ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆50Updated 4 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 8 years ago
- Systematic Literature Review Mode for Emacs.☆14Updated 8 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 9 years ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.☆26Updated 2 years ago
- (in progress) Racket port of the SICM scmutils library☆33Updated 4 years ago
- Running the code you want to write as fast as the code you have to write☆139Updated 8 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆77Updated 2 years ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 4 years ago
- A simple IPython kernel for Hy☆46Updated 2 years ago
- Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, For…☆17Updated 4 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Interactive POetry Editor☆27Updated 3 years ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆62Updated last year
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 4 months ago