Fyrbll

I'm a Computer Science Ph.D. student at the University of Iowa.

Iowa City, Iowa

Pinned Repositories

02-450-Simulations
Implementations of models from 02-450
Language:Haskell0 2 00
AccidentLocator
Language:Swift0 2 00
bluetooth
Haskell bindings to OS-specific Bluetooth libraries.
Language:Haskell3 1 12
cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell0 1 00
cheesecake-public
A theorem prover written in Racket
Language:Racket5 2 00
CombiGames
Language:TeX0 2 00
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT0 0 00
intero-vim
Port of intero-neovim for vim 8
Language:Vim script9 4 00
pwrt-racket
Typed Racket Code for Programming with Refinement Types
Language:Racket2 3 00
tiger
Solutions to Modern Compiler Implementation in ML 🐯
Language:Standard ML1 2 00

Fyrbll's Repositories

Fyrbll/intero-vim
Port of intero-neovim for vim 8
Language:Vim script9 4 00
Fyrbll/cheesecake-public
A theorem prover written in Racket
Language:Racket5 2 00
Fyrbll/bluetooth
Haskell bindings to OS-specific Bluetooth libraries.
Language:Haskell3 1 12
Fyrbll/pwrt-racket
Typed Racket Code for Programming with Refinement Types
Language:Racket2 3 00
Fyrbll/tiger
Solutions to Modern Compiler Implementation in ML 🐯
Language:Standard ML1 2 00
Fyrbll/02-450-Simulations
Implementations of models from 02-450
Language:Haskell0 2 00
Fyrbll/AccidentLocator
Language:Swift0 2 00
Fyrbll/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell0 1 00
Fyrbll/CombiGames
Language:TeX0 2 00
Fyrbll/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT0 0 00
Fyrbll/emacs-ycmd
Emacs client for ycmd, the code completion system.
Language:Emacs Lisp0 1 00
Fyrbll/freezing-octo-spice
0 2 00
Fyrbll/Fyrbll.github.io
Language:HTML1 0
Fyrbll/haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Language:Haskell1 0
Fyrbll/Haskell-Perceptron
Language:Jupyter Notebook2 0
Fyrbll/haskell-shell
Language:Haskell2 0
Fyrbll/pandoc-highlight-racket
Racket Syntax Highlighting for Pandoc
2 0
Fyrbll/paredit
Minor mode for editing parentheses
Language:Emacs Lisp1 0
Fyrbll/pysmt
pySMT: A library for SMT formulae manipulation and solving
Language:Python0 0
Fyrbll/Server
Language:Haskell2 0
Fyrbll/Sign_In_App
This implements a one-time sign-in using the Citrus SDK.
Language:Java
Fyrbll/Sign_In_App_Two
Language:Java
Fyrbll/smt-solver
DPLL + EUF Solver
Language:Racket1 0
Fyrbll/stack
The Haskell Tool Stack
Language:Haskell1 0
Fyrbll/structured-haskell-mode
Structured editing minor mode for Haskell in Emacs
Language:Emacs Lisp1 0
Fyrbll/typed-racket
Typed Racket
Language:Racket1 0
Fyrbll/VimL-exercise
Exercises solution for Book 'Learn Vimscript the Hard Way'
Language:Vim script2 0
Fyrbll/yi
The Haskell-Scriptable Editor
Language:Haskell1 0