Highlights
- Pro
Stars
- All languages
- ATS
- Assembly
- AutoHotkey
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Dhall
- Dockerfile
- Dune
- Elm
- Emacs Lisp
- F#
- F*
- Futhark
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- KiCad Layout
- Koka
- Lua
- Makefile
- Markdown
- Nix
- OCaml
- Perl
- PostScript
- PowerShell
- PureScript
- Python
- R
- Racket
- ReScript
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scheme
- Shell
- Smalltalk
- Standard ML
- TeX
- TypeScript
- Typst
- VHDL
- Vala
- Vim Script
- WebAssembly
Bigstring intrinsics and fast blits based on memcpy/memmove
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
Gillespie simulations on a 2D lattice, featuring spatial oscillations
An ocaml progress bar library similar to https://tqdm.github.io
Implementation of Delimited control operators' Abstract Machine (DAM), which extends ZINC Abstract Machine
Your AI second brain. Self-hostable. Get answers from the web or your docs. Build custom agents, schedule automations, do deep research. Turn any online or local LLM into your personal, autonomous …
Command-line sampling profiler for macOS, Linux, and Windows
Minimalistic snapshot testing for Rust.
aider is AI pair programming in your terminal
Bindings to the `cuda` and `nvrtc` libraries with a unified interface
Seamless bug-finding for C, C++, Rust, Wasm and Zig
Experimentation using the xla compiler from rust
Ensure dune and opam dependencies are consistent
How do you do that recursive GADT thing again?
XLA (Accelerated Linear Algebra) bindings for OCaml
🦀 Find the minimum supported Rust version (MSRV) for your project
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
GitHub Actions virtual environments For LXD