bladyjoker

Somebody should do something

Switzerland

Pinned Repositories

cbitstring
Automatically exported from code.google.com/p/cbitstring
Language:C0 1 00
compas-dansant
A simple Purescript application that draws randomly generated arcs using HTML Canvas.
Language:HTML0 2 00
deutschi
German langauge parser in Prolog
Language:Prolog1 1 00
fun
All things fun!
Language:Agda2 1 00
mpesatools
Translate M-PESA .pdf statements into .csv and .json
Language:Haskell0 1 00
cardano-open-oracle-protocol
COOP - Cardano open oracle protocol
Language:Haskell22 12 393
flake-lang.nix
Nix tools powering polyglot repositories
Language:Nix4 15 102
lambda-buffers
LambdaBuffers toolkit for sharing types and their semantics between different languages
Language:Haskell29 16 651
proto.nix
Nix utilities for generating language-specific bindings from Google Protocol Buffers .proto files.
Language:Nix7 17 22
tx-village
Opinionated Rust/Haskell ecosystem of libraries and tools to work with Cardano smart contracts
Language:Rust42

bladyjoker's Repositories

bladyjoker/fun
All things fun!
Language:Agda2 1 00
bladyjoker/deutschi
German langauge parser in Prolog
Language:Prolog1 1 00
bladyjoker/cbitstring
Automatically exported from code.google.com/p/cbitstring
Language:C0 1 00
bladyjoker/compas-dansant
A simple Purescript application that draws randomly generated arcs using HTML Canvas.
Language:HTML0 2 00
bladyjoker/http2-grpc-haskell
gRPC over HTTP/2 for Haskell, client and server
Language:Haskell0 0 00
bladyjoker/mpesatools
Translate M-PESA .pdf statements into .csv and .json
Language:Haskell0 1 00
bladyjoker/tau-prolog
An open source Prolog interpreter in JavaScript
Language:JavaScript0 0 00
bladyjoker/wire-lang
Automatically exported from code.google.com/p/wire-lang
Language:C1 0
bladyjoker/zurihac2016
ZuriHac 2016 code repo
Language:Haskell2 0
bladyjoker/zurihac2017
ZuriHac2017 artifacts
Language:Haskell1 0