Bryn Keller's starred repositories
scryer-prolog
A modern Prolog implementation written mostly in Rust.
carbon-lang
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
PlotNeuralNet
Latex code for making neural networks diagrams
fp-core.rs
A library for functional programming in Rust
lets-prove-blocking-queue
Proving a blocking queue deadlock free in a dozen different ways
category-theory-as-a-tool-for-thought
Material for the "Category Theory as a Tool for Thought" talk
purescript-python
A Python backend for PureScript.
self_update
Self updates for rust executables
neuro-vectorizer
NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops in C and C++ codes.