Stars
Probabilistic Generative Models for Automatic Guided Drug Discovery
RARS -- RISC-V Assembler and Runtime Simulator
Lab exercises for Chisel in the digital electronics 2 course at DTU
USB armory - The open source compact secure computer
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
💊 Guiding directed protein evolution with Bayesian Optimization - First Steps 💊
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
Self-contained elliptic curve library that provides optimized routines for fixed-basis, and simultaneous, exponentiation and similar routines.
Java wrapper of Verificatum Elliptic Curve library (VEC).
Java wrapper of GMP and GMP Modular Exponentiation Extension library (GMPMEE).
The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.
NEWS! We will soon release a TypeScript transpilation and improvement of this library. Self-contained cryptographic library for use in electronic voting clients. Complete documentation with referen…
Extension to GMP library that allows fast fixed-basis exponentiations, simultaneous exponentiation, and randomly choosing safe-primes.
Core routines for the Verificatum Mix-Net (VMN) and tools.
🔆 A Python implementation of a sum-product network with gaussian processes leafs model (SPNGP, arXiv:1809.04400) 📃
The fastest path to AI-powered full stack observability, even for lean teams.
Jbuilder: generate JSON objects with a Builder-style DSL
Execute SQL against structured text like CSV or TSV
Main source code repository of the Tamarin prover for security protocol verification.
A client for making requests to the danish CPR registry (STAMP only)
Wrong project! You should head over to http://github.com/sshuttle/sshuttle
oteyatosys / oh-my-zsh
Forked from ohmyzsh/ohmyzshA community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up you…
[UNMAINTAINED] A better sidebar for Textmate.
RailsAdmin is a Rails engine that provides an easy-to-use interface for managing your data
Scalate is a Scala based template engine which supports HAML, Mustache and JSP, Erb and Velocity style syntaxes.
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…