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
- Ruby
- Rust
- SCSS
- Scala
- Shell
- SuperCollider
- Swift
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
- Wikitext
- Zig
- eC
Download and parse data from Garmin Connect or a Garmin watch, FitBit CSV, and MS Health CSV files into and analyze data in Sqlite serverless databases with Jupyter notebooks.
The missing layer for complex data batch integration pipelines
Converts an audio file to a 3D spectrogram and (optionally) saves as a stereolithography (STL) file for 3D printing
Post-quantum cryptography certificates
Implementation of SoftSpokenOT. Forked from libOTe.
Proof-of-possession for KEM certificates using verifiable generation
Neqo, the Mozilla Firefox implementation of QUIC in Rust
🥧 Savoury implementation of the QUIC transport protocol and HTTP/3
I-D for a general purpose KEM (key encapsulation mechanism) that includes a hash at the end
Bottom-up memory-safety for assembly language using symbolic execution
Nova: High-speed recursive arguments from folding schemes
A library for pairing based cryptography
Source code for privacytests.org. Includes browser testing code and site rendering.
Square’s meticulous HTTP client for the JVM, Android, and GraalVM.
An implementation of a post quantum anonymous credential scheme
🦔 PostHog provides open-source web & product analytics, session recording, feature flagging and A/B testing that you can self-host. Get started - free.
A Go library for MerkleSquare: A Low-Latency Transparency Log System