Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Coq
- Dhall
- Dockerfile
- Erlang
- F#
- F*
- Frege
- Gnuplot
- Go
- HTML
- Haskell
- Java
- JavaScript
- JetBrains MPS
- Jinja
- Jupyter Notebook
- Kotlin
- LiveScript
- Lua
- M4
- Makefile
- Markdown
- Nim
- OCaml
- Objective-C
- Objective-C++
- PHP
- Perl
- Pony
- Python
- R
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- SuperCollider
- Swift
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
- Wikitext
- XSLT
- Zig
- eC
Style and Grammar Checker for 25+ Languages
Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.
A complete 3-D game development suite written in Java.
TLS-Attacker is a Java-based framework for analyzing TLS libraries. It can be used to manually test TLS clients and servers or as as a software library for more advanced tools.
Java API for Natural Language Generation. Originally developed by Ehud Reiter at the University of Aberdeen’s Department of Computing Science and co-founder of Arria NLG. This git repo is the offic…
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees
THIS REPOSITORY IS NO LONGER MAINTAINED. IT HAS BEEN COMPLETELY REPLACED BY https://github.com/PARC/CCNx_Distillery
Post-quantum cryptography certificates
A pedagogically-curated collection of vulnerability demonstrations for undergraduate software engineering students.
FairplayMP provides secure multiparty computation.
Simple Conflict-free Replicated Data Types (CRDTs) for Java
Key Server that implements the TLS Session Key Interface (SKI) defined in draft-cairns-tls-session-key-interface-00.
(perhaps premature) evaluation of http2 for ios 9, over WiFi vs AT&T 4G LTE
Small programs for (linear and nonlinear) combinational logic minimization