Evie Ciobanu's repositories
purescript-halogen-example
Sample halogen app that uses a few DSLs within the application's free monad
purescript-affjax-errors
Getting around Affjax's HTTP error limitations
sysmicsss
SYSMICS Summer School
angular-carousel
Mobile friendly AngularJS carousel
doom-emacs
An Emacs configuration for the stubborn martian vimmer
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
k
K Framework Tools 5.0
kevm
NPM Package Repo for KEVM
persistent-odbc
uses persistent connecting via hdbc odbc
plfa.github.io
Introduction to programming language theory in Agda.
proyo
Following along http://www.cs.ox.ac.uk/jeremy.gibbons/publications/proyo.pdf
psc-package
A package manager for PureScript based on package sets
pulp
A build tool for PureScript projects
purescript-halogen-proxy
A component utility for Halogen that proxies an inner component to hide all or part of its query algebra.
purescript-stats
Statistics in PureScript
shawty-prime
url shortener
slackbot
Haskell SlackBot for REPL
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
vscode-ide-purescript
PureScript IDE support for VS Code