acondolu Goto Github PK

acondolu

My personal repository

aeson-bintree

anagni

Log-based state replication in the browser

bson

Haskell representation and serialization of BSON documents (version 1.0) as defined at bsonspec.org

classy

coq-multiext

Well-foundedness of multiset extension in Coq

esp32-hub75-matrixpanel-dma

An Adafruit GFX Compatible Library for the ESP32, ESP32-S2, ESP32-S3 to drive HUB75 LED matrix panels using DMA for high refresh rates. Supports panel chaining.

gdb-ghcrts

GDB plugin to display runtime info in GHC-compiled programs

ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

ghcid

Very low feature GHCi based IDE

gifdec

small C GIF decoder

glass

Private peer-to-peer connections through NATs

ji

Bidirectional Foreign Function Interface between a native SwiftUI app and the JavaScript in a WKWebView

matrix_ble_player

mongodb

MongoDB driver for Haskell

nf

NF2, a basic set theory with universal set

quippy

End-to-end encrypted app to split expenses

random-sleep

Sleep for a (configurable) random amount of time

servant

Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!

servant-auth

typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

vague