Stars
- All languages
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- Coq
- Cuda
- Go
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KiCad Layout
- Lua
- M4
- Mathematica
- OCaml
- Objective-C
- OpenSCAD
- Pascal
- PowerShell
- Prolog
- Python
- Racket
- Ruby
- Rust
- Scheme
- Shell
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- VHDL
- Verilog
- Wren
- Yacc
- Zig
A markup-based typesetting system that is powerful and easy to learn.
A refreshingly simple data-driven game engine built in Rust
A terminal workspace with batteries included
Open source comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural editing
An incremental parsing system for programming tools
A massively parallel, high-level programming language
A fast, practical GPU rasterizer for fonts and vector graphics
A static, type inferred and embeddable language written in Rust.
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
A modern Prolog implementation written mostly in Rust.
An embeddable dynamic programming language for Rust.
Rust bindings for AppKit (macOS) and UIKit (iOS/tvOS). Experimental, but working!
A Rust compiler backend targeting CIL(.NET IR) and C.
Cranelift based backend for rustc
This library provides implementations of many algorithms and data structures that are useful for bioinformatics. All provided implementations are rigorously tested via continuous integration.
egg is a flexible, high-performance e-graph library
JIT compiler and runtime for a toy language, using Cranelift
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Flow-Like: Strongly Typed Enterprise Scale Workflows. Built for scalability, speed, seamless AI integration and rich customization.
An experimental mdbook backend for creating EPUB documents.
ANTLR4 parser generator runtime for Rust programming laguage