GitHub Haskell Daily Trending mshibanami.github.io

B-Lang-org/bsc: Bluespec Compiler (BSC)

github.com·18w

xmonad/X11: A Haskell binding to the X11 graphics library.

github.com·18w

GaloisInc/llvm-pretty: An llvm pretty printer inspired by the haskell llvm binding

github.com·19w

nick8325/quickcheck: Automatic testing of Haskell programs.

github.com·19w

yesodweb/wai

github.com·19w

haskell/text: Haskell library for space- and time-efficient operations over Unicode text.

github.com·19w

ucsd-progsys/liquidhaskell: Liquid Types For Haskell

github.com·20w

cachix/cachix: Command line client for Nix binary cache hosting:

github.com·20w

GaloisInc/saw-script: The SAW scripting language.

github.com·21w

GitHub - granule-project/granule: A statically-typed linear functional language with graded modal types for fine-grained program reasoning

github.com·21w·Lobsters, Hacker News

GitHub - GaloisInc/crucible: Crucible is a library for symbolic simulation of imperative programs

github.com·21w

GaloisInc/macaw

github.com·23w

Copilot-Language/copilot

github.com·26w

monoscope-tech/monoscope

github.com·27w

NASA releases robotic / flight app generation tool Ogma under Apache license

github.com·27w·Hacker News

kadena-io/pact-5

github.com·28w

argotorg/solcore

github.com·29w

HigherOrderCO/Bend2

github.com·29w

Concordium/concordium-node

github.com·29w

Gabriella439/grace

github.com·29w·Hacker News

Log in to enable infinite scrolling