Lists (20)
Sort Name ascending (A-Z)
Stars
- All languages
- ActionScript
- Assembly
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Coq
- Cuda
- Cython
- Dart
- Dockerfile
- Emacs Lisp
- F*
- Go
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- MQL5
- Makefile
- Markdown
- Move
- Nim
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PHP
- Perl
- PowerShell
- Python
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Solidity
- Stata
- Swift
- SystemVerilog
- TL-Verilog
- Tcl
- TeX
- TypeScript
- Typst
- VHDL
- Verilog
- Visual Basic
- Vue
- XML
- YARA
- Zig
- q
Transports, Middleware, and Networks for the Alloy project
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
Ethers.js web3快速入门教程;Ethers.js web3 Beginner's Tutorial
ctc is a tool for collecting and analyzing historical data of Ethereum and other EVM chains
Modeling high-frequency limit order book dynamics with support vector machines
collection of dev resources to launch your building journey on HyperEVM
This repository contains a website for the Technical Incerto Reading Club meetup group.
1inch Protocol – fully on-chain DeFi aggregation protocol
A hopefully comprehensive guide to the defi derivative landscape
[ICCV 2025] HERMES: A Unified Self-Driving World Model for Simultaneous 3D Scene Understanding and Generation
Choose your own adventure style Presentation framework.
ALICE (Automated Learning and Intelligence for Causation and Economics) is a Microsoft Research project aimed at applying Artificial Intelligence concepts to economic decision making. One of its go…
The Infernet Node is a lightweight off-chain client for Infernet responsible for fulfilling compute workloads.
Weighs the soul of incoming HTTP requests to stop AI crawlers
Get Started With Substreams Development
Generating sets of formulaic alpha (predictive) stock factors via reinforcement learning.
The Ethereum Improvement Proposal repository
Client for public pool (70bits range)
Proof of Inference - Trustless AI verification
An Efficient Verification Protocol for Decentralized Inference in Large Language Models


