meling Goto Github PK
Name: Hein Meling
Type: User
Company: University of Stavanger
Bio: Professor of Distributed Systems. Interested in dependable and secure systems, blockchains, consensus algorithms, and more.
Location: Stavanger, Norway
Hein Meling's Projects
academic-profile
acmproc
Script to prepare ACM proceedings with page numbers
ais
biblexer
Lexer for bibtex files
btcd
An alternative full node bitcoin implementation written in Go (golang)
byzq
grpc-web
gRPC for Web Clients
insperahacks
Inspera Assessment Hacks
meling.github.io
module-2-cs1
Repository for Module 2 of Campus Advisors
oh-my-zsh-custom
My oh-my-zsh customizations
paxos-in-dafny
Paxos consensus algorithm implemented in the functional validation language Dafny
proto2
Protobuf to string conversion
protobuf
Protocol Buffers for Go with Gadgets
quick-look-plugins
List of useful Quick Look plugins for developers
resilientdb
ResilientDB: Global-Scale Sustainable Blockchain Fabric
spacetime
LaTeX package for drawing spacetime diagrams for distributed systems
submit50
This is submit50, CS50's command-line tool for submitting problems.
urs
Unique Ring Signatures to sign messages anonymously
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.