nau
Former engineer @ IOG, developed Marlowe. Blockchains, FP and programming languages enthusiast, musician, skydiver and more.
@input-output-hk Paris, 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/jscala
Scala macro that produces JavaScript from Scala code.
nau/lasca-compiler
Lasca is Scala shifted towards Haskell.
nau/scalus
Scalus - DApps Development Platform for Cardano
nau/depc
Simple Dependent Type Checker
nau/scalus-starter
Scalus Starter project
nau/adastream
Decentralized File Hosting Incentivised via Cardano Ada Payments
nau/bitvestor
Bitvestor is a dollar cost averaging Bitcoin buying bot for Bitfinex exchange
nau/triplesec
Simple digital security scheme for your MacBook, iPhone, and web services that is easy to use and relatively hard to break
nau/bips
Bitcoin Improvement Proposals
nau/bitml-compiler
Compiler for BitML
nau/cosmex-landing
nau/eclair
A scala implementation of the Lightning Network.
nau/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
nau/GoogleAuth
Google Authenticator Server side code
nau/homebrew-lasca
Lasca Compiler Homebrew Binary Distribution
nau/knowledge-base
Knowledge Base Of Scala Ukraine Group
nau/lagom-samples
nau/llama.cpp
Port of Facebook's LLaMA model in C/C++
nau/mermade
nau/nixops-tutorial
Tutorial for practical deployments with NixOps
nau/plfa.github.io
Introduction to programming language theory in Agda
nau/plutus
The Plutus language implementation and tools
nau/post-rfc
Blog post previews in need of peer review
nau/rpn-calc
Reverse Polish Notation Calculator
nau/scalafmt
Code formatter for Scala
nau/scalus-minting-demo
Cardano Tokens Minting contract demo created by Scalus
nau/scdsl
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
nau/smalltt
Demo for high-performance type theory elaboration
nau/tapleaf-circuits
A proof-of-concept implementation of BitVM for bristol circuits
nau/unordered-containers
Efficient hashing-based container types