
Lists (3)
Sort Name ascending (A-Z)
- All languages
- APL
- ActionScript
- Agda
- Assembly
- Astro
- BQN
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- D
- Elm
- Emacs Lisp
- Erlang
- F#
- GDScript
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Lean
- Makefile
- Markdown
- Nix
- OCaml
- Objective-C
- Objective-C++
- Pascal
- Perl
- Python
- Rich Text Format
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Shen
- Swift
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
Starred repositories
Run compilers interactively from your web browser and interact with the assembly
A lightweight CLI and local API server to create, run and manage macOS and Linux virtual machines (VMs) natively on Apple Silicon.
A curated list of awesome OR-Tools community resources.
Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.
Interactive lectures for MIT LL Introduction to Radar course
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
DNSecure is a configuration tool of DoT and DoH for iOS and iPadOS.
Kalman filter position tracking of ballistic object in Rust.
Anki's shared backend and web components, and the Qt frontend
Powerful scripting language & versatile interactive shell
A modular implementation of timely dataflow in Rust
Modern, advanced, portable, multiprotocol bootloader and boot manager.
A framework for building high-performance real-time multiple object trackers
FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…
A new markup-based typesetting system that is powerful and easy to learn.