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