diegodiv

France

Pinned Repositories

ecpprog
Programmer for the Lattice ECP5 series, making use of FTDI based adaptors
Language:C00
hoff
A gatekeeper for your commits
Language:Haskell00
hs-to-coq
Convert Haskell source code to Coq source code.
Language:Coq00
prometheus-haskell
Haskell client library for exposing prometheus.io metrics.
Language:Haskell00
xml
Various XML utility packages for Haskell
Language:Haskell00
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Language:Zig00
zig-bootstrap
take off every zig
Language:C00
icepeak
Icepeak is a fast JSON document store with push notification support.
Language:Haskell1265
prometheus-haskell
Haskell client library for exposing prometheus.io metrics.
Language:Haskell8448
ecpprog
Programmer for the Lattice ECP5 series, making use of FTDI based adaptors
Language:C8227

diegodiv's Repositories

diegodiv/ecpprog
Programmer for the Lattice ECP5 series, making use of FTDI based adaptors
Language:C
diegodiv/hs-to-coq
Convert Haskell source code to Coq source code.
diegodiv/xml
Various XML utility packages for Haskell
diegodiv/zig-bootstrap
take off every zig
Language:C
diegodiv/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
diegodiv/prometheus-haskell
Haskell client library for exposing prometheus.io metrics.
diegodiv/hoff
A gatekeeper for your commits