Pinned Repositories
capnp-ocaml
OCaml code generator plugin for the Cap'n Proto serialization framework
cargo2nix
Granular caching, development shell, Nix & Rust integration
chatex
Web chat with LaTeX-style math typesetting.
emacs-declaration
haskell-capnp
Cap'n Proto for Haskell
mit-traders
mltt
Implementation of Martin-Löf Type Theory in Haskell
sconybeare's Repositories
sconybeare/mltt
Implementation of Martin-Löf Type Theory in Haskell
sconybeare/chatex
Web chat with LaTeX-style math typesetting.
sconybeare/mit-traders
sconybeare/capnp-ocaml
OCaml code generator plugin for the Cap'n Proto serialization framework
sconybeare/cargo2nix
Granular caching, development shell, Nix & Rust integration
sconybeare/emacs-declaration
sconybeare/haskell-capnp
Cap'n Proto for Haskell
sconybeare/icfp-2015
sconybeare/Idris-dev
A Dependently Typed Functional Programming Language
sconybeare/k
The K tools
sconybeare/nanoserde
Serialisation library with zero dependencies
sconybeare/nixpkgs
Nix Packages collection
sconybeare/ring
Safe, fast, small crypto using Rust
sconybeare/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
sconybeare/theorems
Formalized proofs in agda
sconybeare/vulkano
Safe and rich Rust wrapper around the Vulkan API
sconybeare/wgpu_glyph
A fast text renderer for wgpu (https://github.com/gfx-rs/wgpu)
sconybeare/Yoneda-Lemma-Notes
Yoneda lemma notes for CS 397: category theory reading group.