A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

Scalus - DApps Development Platform for Cardano

Nix Packages collection & NixOS

Collections of awesome neovim plugins.

Free, open source crypto trading bot

Research platform for new language concepts and compiler technologies for Scala.

Optimizer and compiler/toolchain library for WebAssembly

freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Development repository for the Triton language and compiler

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

A cryptocurrency trading API with more than 100 exchanges in JavaScript / TypeScript / Python / C# / PHP / Go

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

NOFX: Defining the Next-Generation AI Trading Operating System. A multi-exchange Al trading platform(Binance/Hyperliquid/Aster) with multi-Ai competition(deepseek/qwen/claude)self-evolution, and re…

Lean 4 programming language and theorem prover

Linux kernel source tree

Haskell to VHDL/Verilog/SystemVerilog compiler

A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems

NOF0 - 开源的 AI 交易竞技场

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

The Scala 3 compiler, also known as Dotty.

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

A Lean library for Computer Science

Catalog Of Math Problems Formalized In Lean

A simple interface to GPIO devices with Raspberry Pi

💥💻💥 A data-parallel functional programming language

Friendly fork of Scala.js, target stand-alone Wasm leveraging WASI and Component Model

Fast and Accurate ML in 3 Lines of Code