Stars
- All languages
- ANTLR
- ATS
- ActionScript
- Agda
- Assembly
- AutoIt
- Ballerina
- Batchfile
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Component Pascal
- Coq
- Crystal
- Cuda
- Cython
- D
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Fortran
- FreeMarker
- Frege
- GLSL
- Go
- Groovy
- HTML
- Handlebars
- Haskell
- Haxe
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KerboScript
- Koka
- Kotlin
- LLVM
- Lean
- Less
- Logos
- Lua
- MDX
- MLIR
- Makefile
- Markdown
- Mercury
- Mojo
- MoonBit
- NASL
- OCaml
- Objective-C
- Objective-C++
- PHP
- Pascal
- Perl
- Protocol Buffer
- PureBasic
- Python
- QML
- R
- Racket
- ReScript
- Reason
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- ShaderLab
- Shell
- Solidity
- Spline Font Database
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- Toit
- TypeScript
- Typst
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- XSLT
- Zig
- eC
- q
Windows/macOS/Linux GUI client for GIT users
Binary floating-point to decimal string conversion algorithm.
Implement a ChatGPT-like LLM in PyTorch from scratch, step by step
Highly accessible themes for GNU Emacs, conforming with the highest standard for colour contrast between background and foreground values (WCAG AAA).
A list of programming languages implemented in Rust, for inspiration.
Scripts for analyzing the size overhead of stack unwinding data in ELF binaries.
💪🏻 Blazing-fast system monitoring for your desktop (built with Rust, Tauri & Svelte)
A precise specification for "Rust lite / MIR plus"
The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".
Tools for embedded/bare-metal development using bazel
GNU toolchain for RISC-V, including GCC
🥢像老乡鸡🐔那样做饭。主要部分于2024年完工,非老乡鸡官方仓库。文字来自《老乡鸡菜品溯源报告》,并做归纳、编辑与整理。CookLikeHOC.
A list of tutorials, paper, talks, and open-source projects for emerging compiler and architecture
General-purpose editor/IDE with high expansibility in Common Lisp
Browser extension that simplifies the GitHub interface and adds useful features
Rhai - An embedded scripting language for Rust.
Jasspa's MicroEmacs is a powerful and efficient terminal and window based text editor. Designed to be lightweight yet feature-rich its key features include syntax highlighting, macro scripting supp…
Modern Jasspa's Microemacs fork - based on Dave Conroy and Daniel Lawrences code. Text editor with GUI and terminal mode, with syntax highlighting, folding, outlines, abbreviations, own extension l…