Popular repositories Loading

1. flora-sql-parser flora-sql-parser Public

   Forked from florajs/sql-parser

   Parse SQL (select) statements into abstract syntax tree (AST) and convert ASTs back to SQL.

   JavaScript 1

2. miabis miabis Public

   Forked from BBMRI-ERIC/miabis

3. arbeitszeit.py arbeitszeit.py Public

   Keep track of your working hours the UNIX way - using plain text files

   Python

4. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

5. coq-library-complexity coq-library-complexity Public

   Forked from uds-psl/coq-library-complexity

   Coq

6. explore explore Public

   Forked from github/explore

   Community-curated topic and collection pages on GitHub

   Ruby