jasigal
Postdoc at the Laboratory for Foundations of Computer Science, University of Edinburgh
University of Edinburgh
Pinned Repositories
accelerate-llvm
LLVM backend for Accelerate
ADBench
ADBench fork with OCaml effect handlers
antex
bad-wings
Bad Wings
cbmc
C Bounded Model Checker
CM4-IO-board
handlers-in-action
An implementation of the "Handlers in action" calculus in the K Framework
hasktorch-naperian
integrating Naperian functors with Hasktorch
jasigal's Repositories
jasigal/hasktorch-naperian
integrating Naperian functors with Hasktorch
jasigal/handlers-in-action
An implementation of the "Handlers in action" calculus in the K Framework
jasigal/accelerate-llvm
LLVM backend for Accelerate
jasigal/ADBench
ADBench fork with OCaml effect handlers
jasigal/antex
jasigal/bad-wings
Bad Wings
jasigal/cbmc
C Bounded Model Checker
jasigal/CM4-IO-board
jasigal/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
jasigal/frank-leo
Frank compiler
jasigal/monad-bayes
A library for probabilistic programming in Haskell.
jasigal/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
jasigal/xdot
xdot library for Haskell
jasigal/hunter
CMake driven cross-platform package manager for C/C++.
jasigal/jekyll-antex
Use arbitrary LaTeX in your Jekyll website!
jasigal/lambda-mu-mu-calculus
Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).
jasigal/logical-relations-talk
Talk about logical relations for STLC with products, constants, and built-in functions.
jasigal/setup-texlive-action
GitHub action to setup TeX Live