Andrea Bedini's repositories
bifunctors
Haskell 98 bifunctors, bifoldables and bitraversables
calligraphy
haskell source code visualizer
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Copilot
A (Haskell DSL) stream language for generating hard real-time C code.
d-bus
strongly typed dbus client library
differential-datalog
An incremental programming language
geos
This is a Haskell binding to Geos, the open-source geometry library
hackage-security
Hackage security framework based on TUF (The Update Framework)
head.hackage
TEMP
network-wait
A lightweight Haskell library for waiting on networked services to become available
nvim-lspconfig
Quickstart configurations for the Nvim LSP client
plfa.github.io
An introduction to programming language theory in Agda
plutus-metatheory
Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)
primitive
This package provides various primitive memory-related operations.
pxt-wukong
(悟空)micro:bit multifunctional expansion board WuKong
rstudio
RStudio is an integrated development environment (IDE) for R
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
stackage-server
Server for stable, curated Haskell package sets
wiredtiger-haskell
Haskell bindings for the WiredTiger library