benjaminselfridge

lean4

Lean 4 programming language and theorem prover

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

nocode

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

acl2

ACL2 System and Books as Maintained by the Community

NumInstances

Instances of numeric classes for functions and tuples

latex-template-whitepaper-basic

Basic latex template for research or business whitepapers and discussion docs

haggle

An efficient graph library for Haskell

group-theory

The theory of groups

dismantle

A library of assemblers and disassemblers derived from LLVM TableGen data

raaz

Cryptographic library for Haskell

haskell-maze

extra

Extra Haskell functions

dockerfile

A Haskell DSL for Generating Dockerfiles

miso

:ramen: A tasty Haskell front-end framework

COVID-19

Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

covid-19-api

COVID-19 global data (from JHU CSSE for now) as-a-service

what4

Symbolic formula representation and solver interaction library

macaw

Open source binary analysis tools.

mra_tools

Tools to process ARM's Machine Readable Architecture Specification

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

MuseScore

MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

mezzo

A Haskell library for typesafe music composition

optparse-applicative

Applicative option parser

config-ini

A monadic DSL for simple configuration parsing

clafer

Clafer is a lightweight modeling language

riscv-arch-test

tokei

Count your code, quickly.

OpenConfigurator

Open source product configuration based on visual feature models and Z3 SMT solver for providing solutions

pretty-class

Deprecated in favor of Lennart's prettyclass package

berkeley-softfloat-3

SoftFloat release 3