Highlights
Lists (13)
Sort Name ascending (A-Z)
Stars
- All languages
- AppleScript
- Assembly
- Astro
- Batchfile
- Bluespec
- C
- C#
- C++
- CSS
- Circom
- Clojure
- Crystal
- Cuda
- Cython
- DIGITAL Command Language
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- FLUX
- Go
- HCL
- HTML
- Handlebars
- Haskell
- JSON
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- MDX
- MQL5
- Makefile
- Markdown
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- OpenQASM
- PHP
- Perl
- Protocol Buffer
- Python
- R
- ReScript
- Reason
- Roff
- Ruby
- Rust
- Scala
- ShaderLab
- Shell
- Smarty
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- TeX
- TypeScript
- V
- Vim Script
- Vue
- WebAssembly
- Zig
24/7 local AI screen & mic recording. Build AI apps that have the full context. Works with Ollama. Alternative to Rewind.ai. Open. Secure. You own your data. Rust.
A high-frequency trading and market-making backtesting tool in Python and Rust, which accounts for limit orders, queue positions, and latencies, utilizing full tick data for trades and order books,…
Simple, Fast, Code first and Compile time generated OpenAPI documentation for Rust
Instant is a modern Firebase. We make you productive by giving your frontend a real-time database.
A lightweight message queue. Like AWS SQS and RSMQ but on Postgres.
D2 is a modern diagram scripting language that turns text to diagrams.
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
A CLI tool to for crypto functions
A Rust library for polynomial commitments
FinTwit-Bot is a Discord bot designed to track and analyze financial markets by pulling data from platforms like Twitter, Reddit, and Binance. It features customizable tools for sentiment analysis…
Cargo subcommand to automatically create universal libraries for iOS.
The quickest way to override dependencies with Cargo
Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow
Cryptocurrency trading bot, and backtesting framework in julia
Web-based notebook that enables data-driven, interactive data analytics and collaborative documents with SQL, Scala and more.
A JavaScript / TypeScript / Python / C# / PHP cryptocurrency trading API with support for more than 100 bitcoin/altcoin exchanges
Noir is a domain specific language for zero knowledge proofs
Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
Experimental folding schemes library
A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
Easily install and test mobile applications with a single click.