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
- Zig
- eC
Paper2Agent is a multi-agent AI system that automatically transforms research papers into interactive AI agents with minimal human input.
Methods for IP Address Encryption and Obfuscation.
Python 3 API wrapper for Garmin Connect to get statistics and set activities
Toolkit for linearizing PDFs for LLM datasets/training
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 zero-knowledge arguments from folding schemes
A library for pairing based cryptography