nau
Former engineer @ IOG, developed Marlowe. Blockchains, FP and programming languages enthusiast, musician, skydiver and more.
@input-output-hk France
Pinned Repositories
adastream
Decentralized File Hosting Incentivised via Cardano Ada Payments
bitvestor
Bitvestor is a dollar cost averaging Bitcoin buying bot for Bitfinex exchange
depc
Simple Dependent Type Checker
funcstat
Statistics of function arities of different Scala projects
jscala
Scala macro that produces JavaScript from Scala code.
lasca-compiler
Lasca is Scala shifted towards Haskell.
scala-train
scalus
Scalus - DApps Development Platform for Cardano
scalus-starter
Scalus Starter project
triplesec
Simple digital security scheme for your MacBook, iPhone, and web services that is easy to use and relatively hard to break
nau's Repositories
nau/funcstat
Statistics of function arities of different Scala projects
nau/scala-train
nau/jscala-play-example
nau/kryo-macros
Scala macros for compile-time generation of Kryo serializers
nau/arvi_course
nau/cargo
The Rust package manager
nau/corda
Corda is a distributed ledger platform designed to record, manage and automate legal agreements between business partners. Designed by (and for) the world's largest financial institutions, it offers a unique response to the privacy and scalability challenges facing decentralised applications.
nau/core_affinity_rs
Rust crate for managing CPU core affinities
nau/cubicaltt
Experimental implementation of Cubical Type Theory
nau/go-ipfs
IPFS implementation in go
nau/hashes
Collection of cryptographic hash functions written in pure Rust
nau/haskell-nix
Nix and Haskell in production
nau/instant.io
:rocket: Streaming file transfer over WebTorrent (torrents on the web)
nau/ipstream
nau/julia
The Julia Language: A fresh approach to technical computing.
nau/kryo
Java serialization and cloning: fast, efficient, automatic
nau/llvm-hs
Haskell bindings for LLVM
nau/mlsub
Prototype type inference engine
nau/nixos-wiki
The gitit import of https://nixos.org/wiki/Main_Page
nau/nixpkgs
Nix Packages collection
nau/om
Trusted λ Assembler
nau/parsec
nau/sbt-rjs-plugin
RequireJs optimizer plugin for sbt-web
nau/scala-js
Scala.js, the Scala to JavaScript compiler
nau/ScalaPB
Protocol buffer compiler for Scala.
nau/Scorex
Modular blockchain framework. Public domain
nau/slides
Slides from talks that I give
nau/strictyaml
Type-safe YAML parser.
nau/swift-package-manager
The Package Manager for the Swift Programming Language
nau/ts2scala
typescript 2 scala macro based importer