ldr709 Goto Github PK
Name: Lance Roy
Type: User
Lance Roy's Projects
admin
Issue tracker, wiki, fliers, posters
ae-generator
Authenticated encryption scheme prover/synthesizer
citip
Information Theoretic Inequality Prover [ITIP] (C++/CLI version) - Evolution of Xitip: http://xitip.epfl.ch/
computational-algebra
Library to calculate Gröbner basis written in Haskell.
cooked-waker
A trait-based system for creating async Wakers. Because RawWakers are healthier after they've been cooked.
cryptotoolspopf
Fork for developement of POPF OT
drop-move
A Rust library to support moving out of drop.
entropy
Easy entropy source for Haskell users.
flag-generator
A CTF leet flag generator
generic-array
Generic array types in Rust
generic-unification
Unification for free!
ghc-typelits-presburger
Presburger arithmetic solver for built-in type-level naturals
gnome-high-contrast-inverse-theme
Porting the Gnome theme HighContrastInverse to the latest version.
gollum-dark-theme
A Dark theme for Gollum wiki
haskell-fplll
Haskell bindings for the fplll latice reduction library
haskell-top
Haskell synthetic topology library (WIP)
inkpot16
Inkpot16 8/16/88/256 Colour Scheme for Vim
itcp
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.
legion
The Legion Parallel Programming System
libigl
Simple C++ geometry processing library. (Original rewrote history, so forking)
libote
A fast, portable, and easy to use Oblivious Transfer Library
libsodium-doc
Gitbook documentation for libsodium
linux
Linux kernel source tree
llpp
llpp original source code before it turned to protestware. NOTE: changes are made on other branches, master is locked and remains as it was.
minipsi
modes-generator
Automated prover and synthesizer for modes of operation
nist-sigs-zoo
Exploration of NIST post-quantum signatures on-ramp candidates
offlineimap
Read/sync your IMAP mailboxes (python2) [LEGACY: move to offlineimap3]
osulug-website
Website for the Linux User's Group of Oregon State University
papilo
Parallel Presolve for Integer and Linear Optimization
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.