Pinned Loading

1. CornellDataScience/FormalDBCornellDataScience/FormalDBPublic

   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-languageCornellDataScience/cypria-query-languagePublic

   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-mlgit-mlPublic

   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-sqlCornellDataScience/de-oop-to-sqlPublic

   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_scratchcrypto_scratchPublic

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

   HTML