Samuel Balco's repositories
calculus-toolbox-2
New version of the calculus toolbox
isabelle-syllogisms
Isabelle/HOL formalisation of simple syllogistic logics
muddy-children
The Muddy Children Puzzle formalised in Isabelle 2016
pipes-ghc-events
Compositional pipelines for parsing .eventlog files
anisette-v3-server
sidestore's anisette-v3 compatible server
calculus-toolbox
A set of tools for generating calculi in Isabelle and supporting tools through a JSON description file
cxadc-linux3
CX2388x direct ADC capture driver, updated for Linux 3.x+ and 64-bit
DEAK-calculus-tool
This is the compiled version of the D.EAK calculus using the Calculus toolbox. No Isabelle installation is required.
el-barks
A popular word game with friends
hjsonschema
JSON Schema Draft 4 library (DEPRECATED)
imports-haskell-backend
example repo which imports haskell-backend as a library
json-rpc
Fully-featured JSON-RPC 2.0 library for Haskell programs
jupyter-themes
Custom Jupyter Notebook Themes
lean-internal-cats
Repository implementing internal categories
mavenix
Deterministic Maven builds using Nix [maintainer=@icetan]
Nominal2-Isabelle
This is a clone of the Nominal Package for Isabelle
pipes-sqlite-simple
Functions that smash Pipes and sqlite-simple together
pynixify
Nix expression generator for Python projects
react-grid-layout
A draggable and resizable grid layout with responsive breakpoints, for React.
scientific-fhs
A nixos FHS for julia and conda, and possibly other scientific tools
selenium-demo
Demo of how to use php-webdriver and PHPUnit to run tests using selenium
string-diagrams-functions
Z3 Python script verifying the termination argument using polynomial interpretation
tasty-test-reporter
An ingredient for tasty that prints a summary and outputs junit xml that works with jenkins.
toolbox3
yet another version...
vhs-decode
Software defined VHS decoder - Fork (maybe temporary) of the ld-decode Laserdisc rf decoder