adinapoli-iohk Goto Github PK
Name: Alfredo Di Napoli
Type: User
Company: IOHK
Bio: Haskell developer working remotely from Marsala, Sicily.
Location: Sicily
Name: Alfredo Di Napoli
Type: User
Company: IOHK
Bio: Haskell developer working remotely from Marsala, Sicily.
Location: Sicily
Add ACID guarantees to any serializable Haskell data structure
Server for accumulating CSL logs
Style guides and workflow descriptions
Cardano wallet state experiments.
Cardano Settlement Layer Documentation
Generate synthetic but valid Cardano wallet databases for performance testing
A simple script to check DNS lookups
Simple Github changelog generator written in Haskell.
A haskell library implementing the Kademlia DHT
Wrapper around hslogger library to provide more convenient monadic interface with pretty output
A lightweight (but compatible with βlensβ) lenses library
TCP Realisation of Network.Transport
Haskell bindings to RocksDB (http://rocksdb.org)
Evaluating some persistent key-value storage solutions.
Distributed systems execution emulation
Repository for modeling ideas of distributed systems networking and implementing sketches of these ideas
A small simulator for UTXO input selection policies
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.