Giters
Ernest Ng (ngernest)

ngernest

Geek Repo

12

followers

26

following

237

stars

Location:Philadelphia, PA

Home Page:ngernest.github.io

Github PK Tool:Github PK Tool

Ernest Ng's starred repositories

ltac2-tutorial

A simple Ltac2 tutorial that covers the very basics.

Language:CoqStargazers:4Issues:0Issues:0

safe-pattern-generation

Type-safe statically unknown pattern generation in MetaOCaml

Language:OCamlStargazers:10Issues:0Issues:0

CS110L

Stanford CS110L: Safety in Systems Programming

Language:RustLicense:MITStargazers:40Issues:0Issues:0

flatcalc

world's worst interpreter

Language:RustLicense:MITStargazers:45Issues:0Issues:0

prettyprinter

Syntax-highlighting, declarative and composable pretty printer for Python 3.5+

Language:PythonLicense:MITStargazers:336Issues:0Issues:0

cc-lemma

Refreshing automation for inductive equational proofs using e-graphs

Language:RustStargazers:4Issues:0Issues:0

optparse-applicative

Applicative option parser

Language:HaskellLicense:BSD-3-ClauseStargazers:903Issues:0Issues:0

dex-lang

Research language for array processing in the Haskell/ML family

Language:HaskellLicense:BSD-3-ClauseStargazers:1565Issues:0Issues:0

hm_practice

Language:OCamlStargazers:3Issues:0Issues:0

ocaml-dockerfile

OCaml interface for creating Dockerfiles

Language:OCamlLicense:ISCStargazers:65Issues:0Issues:0

incremental-tutorial

A tutorial on Incremental, originally for CUFP 2017

Language:OCamlStargazers:44Issues:0Issues:0

ocamlsyntax.com

How do you do that recursive GADT thing again?

Language:CSSStargazers:27Issues:0Issues:0

cpdf-source

PDF Command Line Tools Source

Language:OCamlLicense:AGPL-3.0Stargazers:222Issues:0Issues:0

frameless

Expressive types for Spark.

Language:ScalaLicense:Apache-2.0Stargazers:872Issues:0Issues:0

omd

extensible Markdown library and tool in "pure OCaml"

Language:OCamlLicense:ISCStargazers:156Issues:0Issues:0

stitch

Richard Eisenberg's Stitch STLC

Language:HaskellLicense:BSD-3-ClauseStargazers:6Issues:0Issues:0

type-systems

Implementations of various type systems in OCaml.

Language:OCamlLicense:UnlicenseStargazers:1521Issues:0Issues:0

etna

Fork of ETNA to support OCaml

Language:CoqStargazers:2Issues:0Issues:0

ocaml-perfomance-monitoring

Statistical analysis of OCaml compiler compilation time

Language:OCamlLicense:GPL-3.0Stargazers:9Issues:0Issues:0

coq-simple-io

IO for Gallina

Language:CoqLicense:MITStargazers:29Issues:0Issues:0

rust-raytracer

🔭 A simple ray tracer in Rust 🦀

Language:RustLicense:BSD-2-ClauseStargazers:235Issues:0Issues:0

thih

typing haskell in haskell

Language:HaskellLicense:NOASSERTIONStargazers:15Issues:0Issues:0

happy-plus-alex

Template for quickly and easily combining happy and alex

Language:LogosLicense:BSD-3-ClauseStargazers:49Issues:0Issues:0

rayon

Rayon: A data parallelism library for Rust

Language:RustLicense:Apache-2.0Stargazers:10614Issues:0Issues:0

cs110l-spr-2020-starter-code

Stanford CS 110L Spring 2020 assignment starter code

Language:RustLicense:MITStargazers:101Issues:0Issues:0

RegElk

Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at PLDI24

Language:OCamlLicense:NOASSERTIONStargazers:11Issues:0Issues:0

ronkathon

Cryptography Educational Foundations

Language:RustLicense:MITStargazers:152Issues:0Issues:0

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

Stargazers:291681Issues:0Issues:0

ocaml_ppx_extension_simple_tutorial

Simple ppx tutorial for OCaml

Language:OCamlLicense:MITStargazers:6Issues:0Issues:0

distill-cli

Language:RustLicense:Apache-2.0Stargazers:169Issues:0Issues:0