Russell Mull's repositories
micrologic
A literate clojure implementation of microKanren
cucumber-rust
Cucumber testing framework for Rust. Fully native, no external test runners or dependencies.
flume
A safe and fast multi-producer, multi-consumer channel.
flycheck
On the fly syntax checking for GNU Emacs
gdb-dashboard
Modular visual interface for GDB in Python
ikanren
minikanren in idris
jenkinsfile-test
just for build system testing
lsp-mode
Emacs client/library for the Language Server Protocol
nanovg-rs
Rust-language binding for the NanoVG vector graphics library
oxcc
A port of Open Source Car Control written in Rust
plfa.github.io
Introduction to programming language theory in Agda.
puppetlabs-puppetdb
A puppet module for installing and managing puppetdb
r2d2-sqlite
r2d2 connection pool for sqlite
reagent-material-ui
Reagent wrapper for Material UI v4
relm
Idiomatic, GTK+-based, GUI library, inspired by Elm, written in Rust
rherkin
A extensible rust implementation of the gherkin (cucumber) test language
RiseOfTheRunelords
A repository to hold tools for those wishing to run and convert RotR to Pathfinder 2E.
rust-analyzer
An experimental Rust compiler front-end for IDEs
spacemacs
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
sqlparser-rs
Extensible SQL Lexer and Parser for Rust
warp
A super-easy, composable, web server framework for warp speeds.
wiki
Mirror of the Cocorico! Wiki https://github.com/coq/coq/wiki for backup and PR. Synchronized every hour.