Skip to content

@rs-store rs-store

Change the repository type filter

All

    Repositories list

    546 repositories

    • tuareg

      Public
      Emacs OCaml mode
      Emacs Lisp
      •
      GNU General Public License v3.0
      •80•0•0•0•Updated Jun 29, 2022Jun 29, 2022

    • kakoune

      Public
      mawww's experiment for a better code editor
      C++
      •
      The Unlicense
      •752•0•0•0•Updated Jun 29, 2022Jun 29, 2022

    • foliate

      Public
      A simple and modern GTK eBook reader
      JavaScript
      •
      GNU General Public License v3.0
      •356•0•0•0•Updated Jun 6, 2022Jun 6, 2022

    • typed-racket

      Public
      Typed Racket
      Racket
      •
      Other
      •104•0•0•0•Updated May 20, 2022May 20, 2022

    • rosette

      Public
      The Rosette solver-aided host language, sample solver-aided DSLs, and demos
      Racket
      •
      Other
      •81•0•0•0•Updated May 6, 2022May 6, 2022

    • polyml

      Public
      Poly/ML
      Standard ML
      •
      GNU Lesser General Public License v2.1
      •50•0•0•0•Updated Apr 27, 2022Apr 27, 2022

    • z3

      Public
      The Z3 Theorem Prover
      C++
      •
      Other
      •1.6k•0•0•0•Updated Apr 14, 2022Apr 14, 2022

    • lean4

      Public
      Lean 4 programming language and theorem prover
      Lean
      •
      Apache License 2.0
      •690•0•0•0•Updated Apr 13, 2022Apr 13, 2022

    • opam

      Public
      opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
      OCaml
      •
      Other
      •374•0•0•0•Updated Apr 11, 2022Apr 11, 2022

    • ocaml

      Public
      The core OCaml system: compilers, runtime system, base libraries
      OCaml
      •
      Other
      •1.2k•0•0•0•Updated Apr 11, 2022Apr 11, 2022

    • futhark

      Public
      💥💻💥 A data-parallel functional programming language
      Haskell
      •
      ISC License
      •189•0•0•0•Updated Apr 10, 2022Apr 10, 2022

    • leiningen

      Public
      Automate Clojure projects without setting your hair on fire.
      Clojure
      •
      Other
      •1.6k•0•0•0•Updated Apr 8, 2022Apr 8, 2022

    • alex

      Public
      A lexical analyser generator for Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •86•0•0•0•Updated Apr 5, 2022Apr 5, 2022

    • milewski-ctfp-pdf

      Public
      Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
      TeX
      •
      Other
      •619•0•0•0•Updated Apr 4, 2022Apr 4, 2022

    • PVS

      Public
      The People's Verification System
      Common Lisp
      •
      GNU General Public License v2.0
      •34•0•0•0•Updated Apr 4, 2022Apr 4, 2022

    • happy

      Public
      The Happy parser generator for Haskell
      Haskell
      •
      Other
      •86•0•0•0•Updated Mar 29, 2022Mar 29, 2022

    • mlton

      Public
      The MLton repository
      Standard ML
      •
      Other
      •134•0•0•0•Updated Mar 18, 2022Mar 18, 2022

    • actix-web

      Public
      Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.
      Rust
      •
      Apache License 2.0
      •1.8k•0•0•0•Updated Mar 15, 2022Mar 15, 2022

    • magit

      Public
      It's Magit! A Git porcelain inside Emacs.
      Emacs Lisp
      •
      GNU General Public License v3.0
      •839•0•0•0•Updated Mar 15, 2022Mar 15, 2022

    • awesome-emacs

      Public
      A community driven list of useful Emacs packages, libraries and others.
      The Unlicense
      •579•0•0•0•Updated Mar 11, 2022Mar 11, 2022

    • nixpkgs

      Public
      Nix Packages collection
      Nix
      •
      MIT License
      •17k•0•0•0•Updated Mar 9, 2022Mar 9, 2022

    • nix

      Public
      Nix, the purely functional package manager
      C++
      •
      GNU Lesser General Public License v2.1
      •1.8k•0•0•0•Updated Mar 9, 2022Mar 9, 2022

    • vim-fugitive

      Public
      fugitive.vim: A Git wrapper so awesome, it should be illegal
      Vim Script
      •1k•0•0•0•Updated Mar 9, 2022Mar 9, 2022

    • swipl-devel

      Public
      Main development repository
      C
      •
      Other
      •202•0•0•0•Updated Mar 1, 2022Mar 1, 2022

    • cider

      Public
      The Clojure Interactive Development Environment that Rocks for Emacs
      Emacs Lisp
      •
      GNU General Public License v3.0
      •651•0•0•0•Updated Mar 1, 2022Mar 1, 2022

    • rubocop

      Public
      A Ruby static code analyzer and formatter, based on the community Ruby style guide.
      Ruby
      •
      MIT License
      •3.1k•0•0•0•Updated Feb 28, 2022Feb 28, 2022

    • projectile

      Public
      Project Interaction Library for Emacs
      Emacs Lisp
      •
      GNU General Public License v3.0
      •587•0•0•0•Updated Feb 27, 2022Feb 27, 2022

    • awesome-vim

      Public
      The Vim plugin shortlist
      MIT License
      •138•0•0•0•Updated Feb 26, 2022Feb 26, 2022

    • cherrytree

      Public
      cherrytree
      C++
      •
      Other
      •493•0•0•0•Updated Feb 23, 2022Feb 23, 2022

    • zenburn-emacs

      Public
      The Zenburn colour theme ported to Emacs
      Emacs Lisp
      •
      GNU General Public License v3.0
      •265•0•0•0•Updated Feb 21, 2022Feb 21, 2022