-
Informal Systems
- Guelph, Ontario
- https://ebuchman.github.io/
Highlights
Stars
- All languages
- Bluespec
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Coq
- Elixir
- Emacs Lisp
- Erlang
- Go
- HCL
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- KCL
- Makefile
- Mercury
- OCaml
- Objective-C++
- PHP
- Perl
- Python
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- TLA
- TeX
- TypeScript
- Vim Script
- Vue
- WebAssembly
- Wikitext
- Wren
- hoon
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.
A toolkit for developing and comparing reinforcement learning algorithms.
Synapse: Matrix homeserver written in Python/Twisted.
Theano was a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. It is being continued as PyTensor: www.github.…
Perform data science on data that remains in someone else's server
Universe: a software platform for measuring and training an AI's general intelligence across the world's supply of games, websites and other applications.
The LBRY SDK for building decentralized, censorship resistant, monetized digital content apps.
Security Monkey monitors AWS, GCP, OpenStack, and GitHub orgs for assets and their changes over time.
A portfolio tracking, analytics, accounting and management application that protects your privacy
GitHub repository for the SecureDrop whistleblower platform. Do not submit tips here!
The Tahoe-LAFS decentralized secure filesystem.
Crowdsourced repository of women in software engineering stats.
Ethereum contract for Bitcoin SPV: Live on https://etherscan.io/address/0x41f274c0023f83391de4e0733c609df5a124c3d4
NuCypher fully homomorphic encryption (NuFHE) library implemented in Python
Permissioned Distributed Ledger based on Ethereum
Deep learning research framework based on Theano
Correcting common typos in GitHub one pull request at a time.
Implements SFO minibatch optimizer in Python and MATLAB, and reproduces figures from paper.
Robust MPC-based confidentiality layer for blockchains
Advanced fuzzing via Model Based Testing for Cosmos blockchains
A highly performant merkle set data structure. To be ported to C later.
Please check out https://github.com/hacspec/hacspec for more information on hacspec




