llelf Goto Github PK

acme-java

ENTERPRISE™ Haskell

acme-lolcat

acme-lookofdisapproval

acme-pointful-numbers

advent2019

adventofcode2019 in K7

aplcart

A novel approach to finding your way in APL

awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]

banner

fail2ban without the kitchen sink

book

V2 of Real World OCaml

bx

cabal

Official upstream development repository for Cabal and cabal-install

charset

fast utf-8 character sets

co-dfns

High-performance, Reliable, and Parallel APL

cocoricoogle

color

Coq library on rewriting theory and termination

compcert

The CompCert formally-verified C compiler

compiler98

a Haskell compiler — copy of darcs://darcs.haskell.org/york-compiler98

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-equations

A function definition package for Coq

coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

coq-lecture-notes

Coq Lecture Notes

coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

curious-perl-floats

See how bad perl's fp numers parser is

deriving

Class instances for Coq inductive types with little boilerplate

dragonflybsd

DragonFly Master Repository (clone)

dune

A composable build system for OCaml.

eetrc

dtrace erlang something whatever

eleveldb

Erlang LevelDB API

elm-todomvc

Proper implementation of the TodoMVC app

enummapset-th

TH-generated EnumSet/EnumMap wrappers around IntSet/IntMap.