Repositories list

• cs6115

  Public
  Course materials for CS 6115

  Coq

  •0•2•0•0•Updated Nov 5, 2024Nov 5, 2024

• pl.cs.cornell.edu

  Public
  Website for PL@Cornell

  HTML

  •

  MIT License

  •19•8•2•0•Updated Sep 27, 2024Sep 27, 2024

• nerode-public

  Public
  OCaml

  •

  Apache License 2.0

  •1•4•0•0•Updated Jan 5, 2024Jan 5, 2024

• TxForest

  Public
  OCaml

  •0•1•0•0•Updated Oct 28, 2020Oct 28, 2020

• fzfs

  Public
  Forest Zipper File System

  OCaml

  •0•0•0•0•Updated May 16, 2019May 16, 2019

• minimal-mistakes

  Public
  📐 A flexible two-column Jekyll theme. Perfect for personal sites, blogs, and portfolios hosted on GitHub or your own server.

  CSS

  •

  MIT License

  •26k•0•0•0•Updated Aug 10, 2017Aug 10, 2017

• h2o

  Public
  Processing

  •0•0•0•0•Updated Feb 7, 2017Feb 7, 2017

• forest

  Public
  Forest project

  Haskell

  •0•4•0•0•Updated Jul 29, 2015Jul 29, 2015

• HsAdapton

  Public
  Haskell Adapton Library

  Haskell

  •

  Other

  •0•2•0•0•Updated Jul 1, 2015Jul 1, 2015

• evolution

  Public
  JavaScript

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jul 18, 2013Jul 18, 2013