Ben Dyer's repositories
elixir
Elixir is a dynamic, functional language designed for building scalable and maintainable applications
elixir-mongodb-driver
MongoDB driver for Elixir
explorer
Dataframes for Elixir
fastapi-events
Asynchronous event dispatching/handling library for FastAPI and Starlette
gatsby
Build blazing fast, modern apps and websites with React
gatsby-remark-bibliography
Add bibtex support for gatsby remark
gatsby-remark-vega
A Gatsby plugin for displaying Vega charts
gym
A toolkit for developing and comparing reinforcement learning algorithms.
ibus-tmpl
The template engine for IBus
jsfxr
JavaScript sound effects generator.
kafka-connect-http
Kafka Connect connector that enables Change Data Capture from JSON/HTTP APIs into Kafka.
KaTeX
Fast math typesetting for the web.
libgraph
A graph data structure library for Elixir projects
mongo-python-driver
PyMongo - the Python driver for MongoDB
natural_number_game
Building the natural numbers in Lean.
nimble_parsec
A simple and fast library for text-based parser combinators
pandoc-plot
Render and include figures in Pandoc documents using your plotting toolkit of choice
prism
Lightweight, robust, elegant syntax highlighting.
publish-extensions
Scripts for publishing VS Code extensions to open-vsx.org
quarto-web
Quarto website
react-three-fiber
🇨🇭 A React renderer for Three.js
theorem_proving_in_lean
Theorem proving in Lean
three.js
JavaScript 3D Library.
tinyquery
A Python in-memory test stub for BigQuery
tldr
📚 Collaborative cheatsheets for console commands
torchdiffeq
Differentiable ODE solvers with full GPU support and O(1)-memory backpropagation.
tutorials
Some Lean tutorials