Pinned Loading

1. CornellDataScience/FormalDB CornellDataScience/FormalDB Public

   FormalDB is a prototype database management system built in Gallina, verified in Coq. This repo has an expanded OCaml layer and a further expanded Node.js layer for GUI use

   CSS 1

2. CornellDataScience/cypria-query-language CornellDataScience/cypria-query-language Public

   Cypria is a query language that interprets to SQL. Its paradigm is using first-class function operations to make nested and complicated queries easier.

   OCaml 1

3. git-ml git-ml Public

   A Git client for *nix implemented in OCaml. Implemented for the open ended midterm project in Cornell CS 3110. Implemented with Mike Fang, Sean Wang, Claire Cui from Cornell Univeristy

   OCaml

4. CornellDataScience/de-oop-to-sql CornellDataScience/de-oop-to-sql Public

   DiscreetORM is a type-safe minimal-hassle easy-to-use ORM (object relational mapping) for TypeScript developed by CDS at Cornell University.

   TypeScript 1

5. crypto_scratch crypto_scratch Public

   An online scratchpad/notepad that doesn't store your data in plaintext. Built with js and sjcl.js

   HTML