Alina Banerjee's repositories
alex
A lexical analyser generator for Haskell
alga
Algebraic graphs
bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
cabal
Official upstream development repository for Cabal and cabal-install
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
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.
CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
dhall-haskell
Maintainable configuration files
dhall-lang
Maintainable configuration files
Idris2
A purely functional programming language with first class types
diff-so-fancy
Good-lookin' diffs. Actually… nah… The best-lookin' diffs. :tada:
dune
A composable build system for OCaml.
elle
Black-box transactional safety checker based on cycle detection
Essentials-of-Compilation
A book about compiling Racket to x86-64 assembly
frap
Formal Reasoning About Programs
haddock
Haskell Documentation Tool
happy
The Happy parser generator for Haskell
haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
haskell-language-server
Successor of ghcide & haskell-ide-engine. One IDE to rule them all.
Haskell-Turtle-Library
Shell programming, Haskell style
hlint
Haskell source code suggestions
hspec
A Testing Framework for Haskell
jepsen
A framework for distributed systems verification, with fault injection
liquidhaskell
Liquid Types For Haskell
llvm-hs
Haskell bindings for LLVM
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
network
Low-level networking interface
servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!