bennofs/coq-mapping-database

Stars
1
Language Coq
License
Other
Created about 10 years ago
Updated almost 7 years ago

bennofs/coq-mapping-database

bennofs

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Verified Mapping Database model in Coq based on AVL trees

etc-nixos

NixOS configuration files for my computers

wdumper

Tool for generating filtered Wikidata RDF exports

reflex-host

Higher level support for implementing reflex frameworks

haskell-generate

Type-safe library for generating haskell source code

nix-script

A shebang for running scripts inside nix-shell with defined dependencies

dynamic-cabal

Dynamically load the Cabal library to use a newer version with the GHC API

th-lift-instances

Lift instances for common haskell data types

docs

themplate

Create projects from simple templates

reflex-qml

hcltest

Haskell testing library for command line programs

cscg20

Solutions for Cyber Security Challenge Germany 2020 Qualifications

quickcheck-property-monad

A monad for building quickcheck properties

dotfiles

ghc-server

No longer maintained

software-foundations

Solutions to the book "Software Foundations": http://www.cis.upenn.edu/~bcpierce/sf/current/index.html

vplan

A flexible library for representing schedules in haskell

typeable-th

There is no need to manually write TypeableN instances anymore!

vplan-qml

QML UI for VPlan

compy-experiments

task-sheet-splitter

emacs-present

shake-configure

A configure step for the shake build system

autoconf2nix

haemu

A simple processor emulator written in haskell.

hsqml-react

Declarative interface to HsQML using reactive-banana