andres-erbsen Goto Github PK
Name: Andres Erbsen
Type: User
Blog: https://andres.systems/
Name: Andres Erbsen
Type: User
Blog: https://andres.systems/
Experimental graph-based visual representation and proof method for cryptographic interactions
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Implementations of a fast Elliptic-curve Diffie-Hellman primitive
Beginnings of a Verilog implementation of Curve25519.
NameCoin-style names using consensus instead of proof of work
Package dkim is a pure Go DKIM verification library.
A planning, control, and analysis toolbox for nonlinear dynamical systems. More info at
Exemplifies various ways to open a pathway to using Drake in your own project.
Implementations of a fast Elliptic-curve Digital Signature Algorithm
Minu lahendused DP ülesannetele
Encode binary data as english words
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Cryptographic Primitive Code Generation by Fiat
Formal Reasoning About Programs
Mirror of https://github.com/romanoff/fsmonitor
DKIM package for golang
Arch Linux PKGBUILD for https://github.com/piranha/gostatic/
The Go language implementation of gRPC. HTTP/2 based RPC
HTML to HTML encrypter in Python and Javascript
Imperative programming in haskell: variables and loops
Examples how NOT to program
Algorithms mentioned in IOI syllabus
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
The ultimate socket library for C and C++, including support for almost every type of sockets (excepted e.g. SCTP), a complex yet helpful class hierarchy, OO-support for poll()/select() and a Makefile for installation as Shared Object (dynamic library)
HTTPS reverse proxy to enforce authrorization using MIT Moira lists
Locks all X sessions with xscreenlocker or a custom command
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.