Jan Troler's repositories
initscripts
User-contributed OS init scripts for Supervisor
post-rfc
Blog post previews in need of peer review
nix-configs
Nix configs that runs on my personal server
hask
Haskell language features and standard libraries in pure Python.
merkle-tree
Merkle Trees and Merkle Proofs
sha-2
SHA-2 algorithm implementations
pyrobuf
A Cython alternative to Google's Python Protobuf library
proto3-suite
Haskell Protobuf Implementation
idris-bi
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
vpsadminos
virtualisation / container host OS
languages-that-compile-to-python
List of languages that compile to python
protobuf-1
An implementation of Google's Protocol Buffers in Haskell.
gossip-haskell
A simple library implementing a gossip network, in Haskell.
battle
JavaScript battle game written in Idris
ecmh
Elliptic Curve Multiset Hash
purescript-ws
PureScript bindings for 'ws' library
movfuscator
The single instruction C compiler
idris-free
Free Monads and useful constructions to work with them
LEOPay
LEOPay is an easy-to-use, open-source, multiplatform, multisignature, secure LEOcoin wallet platform for both individuals and companies. LEOPay uses Bitcore Wallet Service (BWS) for peer synchronization and network interfacing.
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
coxswain
A GHC type checker plugin for row types
libbitcoin-explorer
Bitcoin Command Line Tool
openbazaar-go
OpenBazaar 2.0 Server Daemon in Go
bitcoin.org
Bitcoin.org website
asciidoctor-epub3
:blue_book: Asciidoctor EPUB3 is a set of Asciidoctor extensions for converting AsciiDoc to EPUB3 & KF8/MOBI.
exprotobuf
Protocol Buffers in Elixir made easy!
grumpy
Grumpy is a Python to Go source code transcompiler and runtime.
SiteMadeWithAsciidoctor
Demo of website produced using only Asciidoctor
TigerShark
Python X12 EDI parser