ldr709 Goto Github PK
Name: Lance Roy
Type: User
Name: Lance Roy
Type: User
Issue tracker, wiki, fliers, posters
Authenticated encryption scheme prover/synthesizer
Information Theoretic Inequality Prover [ITIP] (C++/CLI version) - Evolution of Xitip: http://xitip.epfl.ch/
Library to calculate Gröbner basis written in Haskell.
A trait-based system for creating async Wakers. Because RawWakers are healthier after they've been cooked.
Fork for developement of POPF OT
A Rust library to support moving out of drop.
Easy entropy source for Haskell users.
A CTF leet flag generator
Generic array types in Rust
Unification for free!
Presburger arithmetic solver for built-in type-level naturals
Porting the Gnome theme HighContrastInverse to the latest version.
A Dark theme for Gollum wiki
Haskell bindings for the fplll latice reduction library
Haskell synthetic topology library (WIP)
Inkpot16 8/16/88/256 Colour Scheme for Vim
Information Theoretic Converse Prover. A software for constructing explicit polyhedral converses in multi-source network coding. Also supports computation of weighted sum-rate bounds in network coding, worst case information ratio lower bounds in secret sharing, and graph guessing number upper bounds.
The Legion Parallel Programming System
Simple C++ geometry processing library. (Original rewrote history, so forking)
A fast, portable, and easy to use Oblivious Transfer Library
Gitbook documentation for libsodium
Linux kernel source tree
llpp original source code before it turned to protestware. NOTE: changes are made on other branches, master is locked and remains as it was.
Automated prover and synthesizer for modes of operation
Exploration of NIST post-quantum signatures on-ramp candidates
Read/sync your IMAP mailboxes (python2) [LEGACY: move to offlineimap3]
Website for the Linux User's Group of Oregon State University
Parallel Presolve for Integer and Linear Optimization
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.