Pinned Repositories
calculus-toolbox-2
New version of the calculus toolbox
compArith
Proofs of correctness for computer arithmetic
Holiday-inator-3000
isabelle-syllogisms
Isabelle/HOL formalisation of simple syllogistic logics
lamYcalc
A formalization of the λ-Y calculus
muddy-children
The Muddy Children Puzzle formalised in Isabelle 2016
pipes-ghc-events
Compositional pipelines for parsing .eventlog files
quickjs-hs
Haskell bindings for the QuickJS library
inferno
A statically-typed functional scripting language
kup
K and Semantics Distribution Tool
goodlyrottenapple's Repositories
goodlyrottenapple/muddy-children
The Muddy Children Puzzle formalised in Isabelle 2016
goodlyrottenapple/pipes-ghc-events
Compositional pipelines for parsing .eventlog files
goodlyrottenapple/compArith
Proofs of correctness for computer arithmetic
goodlyrottenapple/anisette-v3-server
sidestore's anisette-v3 compatible server
goodlyrottenapple/benchmarks
Symbolic Execution Benchmarks for Ethereum Smart Contracts
goodlyrottenapple/cxadc-linux3
CX2388x direct ADC capture driver, updated for Linux 3.x+ and 64-bit
goodlyrottenapple/duc-demo
goodlyrottenapple/el-barks
A popular word game with friends
goodlyrottenapple/haskell-backend
The symbolic execution engine powering the K Framework
goodlyrottenapple/hjsonschema
JSON Schema Draft 4 library (DEPRECATED)
goodlyrottenapple/imports-haskell-backend
example repo which imports haskell-backend as a library
goodlyrottenapple/json-rpc
Fully-featured JSON-RPC 2.0 library for Haskell programs
goodlyrottenapple/jupyter-themes
Custom Jupyter Notebook Themes
goodlyrottenapple/lean-internal-cats
Repository implementing internal categories
goodlyrottenapple/mavenix
Deterministic Maven builds using Nix [maintainer=@icetan]
goodlyrottenapple/Nominal2-Isabelle
This is a clone of the Nominal Package for Isabelle
goodlyrottenapple/pipes-sqlite-simple
Functions that smash Pipes and sqlite-simple together
goodlyrottenapple/profiteur
Visualiser for Haskell (GHC) prof files
goodlyrottenapple/pynixify
Nix expression generator for Python projects
goodlyrottenapple/react-grid-layout
A draggable and resizable grid layout with responsive breakpoints, for React.
goodlyrottenapple/scientific-fhs
A nixos FHS for julia and conda, and possibly other scientific tools
goodlyrottenapple/selenium-demo
Demo of how to use php-webdriver and PHPUnit to run tests using selenium
goodlyrottenapple/solc.nix
Providing assorted versions of solidity compilers (solc).
goodlyrottenapple/string-diagrams-functions
Z3 Python script verifying the termination argument using polynomial interpretation
goodlyrottenapple/tasty-test-reporter
An ingredient for tasty that prints a summary and outputs junit xml that works with jenkins.
goodlyrottenapple/test
goodlyrottenapple/toolbox3
yet another version...
goodlyrottenapple/traindb
goodlyrottenapple/uYouPlus
uYou+ is a modified version of uYou (made by @MiRO92) with additional features and mainly made for non jailbroken users!
goodlyrottenapple/vhs-decode
Software defined VHS decoder - Fork (maybe temporary) of the ld-decode Laserdisc rf decoder