rs-store's repositories
tuareg
Emacs OCaml mode
kakoune
mawww's experiment for a better code editor
foliate
A simple and modern GTK eBook reader
typed-racket
Typed Racket
rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
polyml
Poly/ML
z3
The Z3 Theorem Prover
lean4
Lean 4 programming language and theorem prover
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
ocaml
The core OCaml system: compilers, runtime system, base libraries
futhark
:boom::computer::boom: A data-parallel functional programming language
leiningen
Automate Clojure projects without setting your hair on fire.
alex
A lexical analyser generator for Haskell
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
PVS
The People's Verification System
happy
The Happy parser generator for Haskell
mlton
The MLton repository
actix-web
Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.
magit
It's Magit! A Git porcelain inside Emacs.
awesome-emacs
A community driven list of useful Emacs packages, libraries and others.
nixpkgs
Nix Packages collection
nix
Nix, the purely functional package manager
vim-fugitive
fugitive.vim: A Git wrapper so awesome, it should be illegal
swipl-devel
Main development repository
cider
The Clojure Interactive Development Environment that Rocks for Emacs
rubocop
A Ruby static code analyzer and formatter, based on the community Ruby style guide.
projectile
Project Interaction Library for Emacs
awesome-vim
The Vim plugin shortlist
cherrytree
cherrytree
zenburn-emacs
The Zenburn colour theme ported to Emacs