oteyatosys's Stars
ohmyzsh/ohmyzsh
🙃 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, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.
twbs/bootstrap
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
netdata/netdata
Architected for speed. Automated for easy. Monitoring and troubleshooting, transformed!
nodejs/node-v0.x-archive
Moved to https://github.com/nodejs/node
jashkenas/coffeescript
Unfancy JavaScript
dinedal/textql
Execute SQL against structured text like CSV or TSV
apenwarr/sshuttle
Wrong project! You should head over to http://github.com/sshuttle/sshuttle
railsadminteam/rails_admin
RailsAdmin is a Rails engine that provides an easy-to-use interface for managing your data
bitwiseshiftleft/sjcl
Stanford Javascript Crypto Library
rails/jbuilder
Jbuilder: generate JSON objects with a Builder-style DSL
oyvindkinsey/easyXDM
A javascript library providing cross-browser, cross-site messaging/method invocation.
usbarmory/usbarmory
USB armory - The open source compact secure computer
TheThirdOne/rars
RARS -- RISC-V Assembler and Runtime Simulator
openid/php-openid
OpenID library for PHP5
jezdez/textmate-missingdrawer
[UNMAINTAINED] A better sidebar for Textmate.
RustCrypto/elliptic-curves
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
scalate/scalate
Scalate is a Scala based template engine which supports HAML, Mustache and JSP, Erb and Velocity style syntaxes.
tamarin-prover/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
schoeberl/chisel-lab
Lab exercises for Chisel in the digital electronics 2 course at DTU
eugene/spngp
:high_brightness: A Python implementation of a sum-product network with gaussian processes leafs model (SPNGP, arXiv:1809.04400) :page_with_curl:
eugene/prot-bo-0
:pill: Guiding directed protein evolution with Bayesian Optimization - First Steps :pill:
verificatum/verificatum-vjsc
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 references to the literature makes it good teaching material.
verificatum/verificatum-vmn
The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.
verificatum/verificatum-vcr
Core routines for the Verificatum Mix-Net (VMN) and tools.
verificatum/verificatum-vec
Self-contained elliptic curve library that provides optimized routines for fixed-basis, and simultaneous, exponentiation and similar routines.
verificatum/verificatum-gmpmee
Extension to GMP library that allows fast fixed-basis exponentiations, simultaneous exponentiation, and randomly choosing safe-primes.
verificatum/verificatum-vmgj
Java wrapper of GMP and GMP Modular Exponentiation Extension library (GMPMEE).
aion-dk/cpr-client
A client for making requests to the danish CPR registry (STAMP only)
verificatum/verificatum-vecj
Java wrapper of Verificatum Elliptic Curve library (VEC).
oteyatosys/oh-my-zsh
A 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 your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.