[go: nahoru, domu]
Skip to content
@rs-store

rs-store

Popular repositories Loading

  1. django django Public

    Forked from fandsdev/django

    My personal (very) opinionated django template

    Python

  2. html5-boilerplate html5-boilerplate Public

    Forked from h5bp/html5-boilerplate

    A professional front-end template for building fast, robust, and adaptable web apps or sites.

    JavaScript

  3. mezon-router mezon-router Public

    Forked from alexdodonov/mezon-router

    Small and fast router

    PHP

  4. Twig Twig Public

    Forked from twigphp/Twig

    Twig, the flexible, fast, and secure template language for PHP

    PHP

  5. google-foobar google-foobar Public

    Forked from n3a9/google-foobar

    My Google Foo Bar Challenges 🤓 🧮

    Java

  6. Reactive-Resume Reactive-Resume Public

    Forked from AmruthPillai/Reactive-Resume

    A one-of-a-kind resume builder that keeps your privacy in mind. Completely secure, customizable, portable, open-source and free forever. Try it out today!

    JavaScript

Repositories

Showing 10 of 546 repositories
  • tuareg Public Forked from ocaml/tuareg

    Emacs OCaml mode

    rs-store/tuareg’s past year of commit activity
    Emacs Lisp 0 GPL-3.0 78 0 0 Updated Jun 29, 2022
  • kakoune Public Forked from mawww/kakoune

    mawww's experiment for a better code editor

    rs-store/kakoune’s past year of commit activity
    C++ 0 Unlicense 720 0 0 Updated Jun 29, 2022
  • foliate Public Forked from johnfactotum/foliate

    A simple and modern GTK eBook reader

    rs-store/foliate’s past year of commit activity
    JavaScript 0 GPL-3.0 259 0 0 Updated Jun 6, 2022
  • typed-racket Public Forked from racket/typed-racket

    Typed Racket

    rs-store/typed-racket’s past year of commit activity
    Racket 0 102 0 0 Updated May 20, 2022
  • rosette Public Forked from emina/rosette

    The Rosette solver-aided host language, sample solver-aided DSLs, and demos

    rs-store/rosette’s past year of commit activity
    Racket 0 74 0 0 Updated May 6, 2022
  • polyml Public Forked from polyml/polyml

    Poly/ML

    rs-store/polyml’s past year of commit activity
    Standard ML 0 LGPL-2.1 43 0 0 Updated Apr 27, 2022
  • z3 Public Forked from Z3Prover/z3

    The Z3 Theorem Prover

    rs-store/z3’s past year of commit activity
    C++ 0 1,487 0 0 Updated Apr 14, 2022
  • lean4 Public Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    rs-store/lean4’s past year of commit activity
    Lean 0 Apache-2.0 354 0 0 Updated Apr 13, 2022
  • opam Public Forked from ocaml/opam

    opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

    rs-store/opam’s past year of commit activity
    OCaml 0 360 0 0 Updated Apr 11, 2022
  • ocaml Public Forked from ocaml/ocaml

    The core OCaml system: compilers, runtime system, base libraries

    rs-store/ocaml’s past year of commit activity
    OCaml 0 1,091 0 0 Updated Apr 11, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…