Pinned Repositories
atsign
c--2llvm
Go C-- to llvm comiler
golex
A lex/flex like (not fully POSIX lex compatible) utility.
heroku-buildpack-rust
Rust buildpack
Know
Datalog for urbit
neovacui
numpy
Numpy main repository
rougespace
lisp rougelike
SpiderDB
Graph database backed by Redis.
taskwarrior-docker
ericfode's Repositories
ericfode/Know
Datalog for urbit
ericfode/connect4
Connect4 for urbit. written in hoon
ericfode/connect4-ui
ericfode/err-pubsub
A python module for integrating pubsub with errbot.
ericfode/cChoco
Community resource to manage Chocolatey
ericfode/CircleCIDSC
Windows Powershell DSC
ericfode/course-v3
The 3rd edition of course.fast.ai
ericfode/datascript
Immutable database and Datalog query engine for Clojure, ClojureScript and JS
ericfode/diffdugeon
A differential dungeon generator.
ericfode/docs-1
The Urbit docs
ericfode/ericfode.github.io
Use Checkout to quickly collect one-time payments.
ericfode/firey-brot
ericfode/hoon-language-server
Language Server for Hoon. Middleware to translate between the Language Server Protocol and your Urbit.
ericfode/how-to-dsc
ericfode/hyperfiddle
Functional data sync for Datomic APIs
ericfode/lean4-raytracer
A simple raytracer written in Lean 4
ericfode/macos-image-tests
Tests for the macOS images
ericfode/Mandlebrah
A Mandelbrot renderer in Lean4
ericfode/neuron-1
Future-proof note-taking and publishing based on Zettelkasten
ericfode/physics-with-rachel
A repo of pythonic physics
ericfode/precis
Reputation tracker
ericfode/rouge-kitchen
It's a rouge like in the kitchen
ericfode/rust-rogue
It's a rougelike in rust
ericfode/screen
ericfode/stable-diffusion
This version of CompVis/stable-diffusion features an interactive command-line script that combines text2img and img2img functionality in a "dream bot" style interface, a WebGUI, and multiple features and other enhancements.
ericfode/terraform-provider-azurerm
Terraform provider for Azure Resource Manager
ericfode/urbit
An operating function
ericfode/WaygoneWilco.github.io
ericfode/k8s-game-of-life
ericfode/tictactoe-ai
It's a tic tac toe game in rust. With a janky little ai and some stuff for RL