Skip to content
@rs-store-personal

rs-store-personal

Popular repositories Loading

  1. Programming-Notebook Programming-Notebook Public

    Forked from jparkie/Programming-Notebook

    Programming Notebook

    HTML

  2. interviews interviews Public

    Forked from kdn251/interviews

    Everything you need to know to get the job.

    Java

  3. coding-interview-university coding-interview-university Public

    Forked from jwasham/coding-interview-university

    A complete computer science study plan to become a software engineer.

  4. system-design-primer system-design-primer Public

    Forked from donnemartin/system-design-primer

    Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

    Python

  5. contest-programming-codes contest-programming-codes Public

    Forked from Corei13/contest-programming-codes

    Archive of codes

    C++

  6. NLP-progress NLP-progress Public

    Forked from sebastianruder/NLP-progress

    Repository to track the progress in Natural Language Processing (NLP), including the datasets and the current state-of-the-art for the most common NLP tasks.

    Python

Repositories

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

    Emacs OCaml mode

    rs-store-personal/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-personal/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-personal/foliate’s past year of commit activity
    JavaScript 0 GPL-3.0 259 0 0 Updated Jun 6, 2022
  • rosette Public Forked from emina/rosette

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

    rs-store-personal/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-personal/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-personal/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-personal/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-personal/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-personal/ocaml’s past year of commit activity
    OCaml 0 1,091 0 0 Updated Apr 11, 2022
  • futhark Public Forked from diku-dk/futhark

    💥💻💥 A data-parallel functional programming language

    rs-store-personal/futhark’s past year of commit activity
    Haskell 0 ISC 173 0 0 Updated Apr 10, 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…