Giters
Justin Frank (laelath)

laelath

Geek Repo

18

followers

10

following

57

stars

Company:University of Maryland

Github PK Tool:Github PK Tool

Justin Frank's repositories

miniterm

Minimalist terminal emulator

Language:CLicense:MITStargazers:19Issues:4Issues:3

ocaml-urn

An OCaml implementation of the urn data structure for fast pure functional random sampling

Language:OCamlLicense:MITStargazers:10Issues:2Issues:1

kakoune-show-matching-insert

A highlighter for people who miss Vim's highlighting of matching characters as you insert them.

License:UnlicenseStargazers:8Issues:3Issues:1

hack-match-bot

A bot that plays the HACK*MATCH minigame in EXAPUNKS.

Language:RustLicense:GPL-3.0Stargazers:7Issues:3Issues:4

well-typed-term-generator

A OCaml generator for well-typed terms (that use their arguments).

Language:OCamlStargazers:3Issues:3Issues:0

jfunge

Befunge to x86_64 compiler

Language:RacketStargazers:2Issues:4Issues:0

snow-hs

Remake of snow in Haskell

Language:HaskellLicense:GPL-3.0Stargazers:2Issues:2Issues:0

snow

A rewrite of snow in Rust.

Language:RustStargazers:1Issues:3Issues:0

tree-sitter-twelf

Language:CStargazers:1Issues:2Issues:0

advent-of-code-2021

Language:HaskellStargazers:0Issues:3Issues:0

cmsc430-www

CMSC 430 Design and Implementation of Programming Languages

Language:RacketStargazers:0Issues:1Issues:0

dnd-solver

Solver for the Dungeons & Diagrams minigame in Last Call BBS

Language:RacketStargazers:0Issues:2Issues:0

fib

the fibonacci only you would give me

Language:HTMLStargazers:0Issues:1Issues:0

kakoune

mawww's experiment for a better code editor

Language:C++License:UnlicenseStargazers:0Issues:3Issues:0

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

License:NOASSERTIONStargazers:0Issues:1Issues:0

nab

A fork of the CMSC 430 Neerdowell compiler for call-by-need execution

Language:RacketStargazers:0Issues:3Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:1Issues:0

opencv

Open Source Computer Vision Library

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

parallel_graph_coloring

An implementation of the Jones-Plassmann parallel graph coloring algorithm in Rust

Language:RustStargazers:0Issues:2Issues:0

pushcrate

Sokoban solver (WIP)

Language:RustLicense:GPL-3.0Stargazers:0Issues:3Issues:0

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

Language:CLicense:GPL-2.0Stargazers:0Issues:3Issues:0

rackcheck

A property-based testing library for Racket.

Language:RacketLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

racket-quickcheck

Quickcheck Clone implemented in Racket

Language:RacketLicense:NOASSERTIONStargazers:0Issues:2Issues:0

sat-solver

an unoptimized DPLL sat solver written in Racket

Language:RacketStargazers:0Issues:2Issues:0

unqover

UnQovering Stereotyping Biases via Underspecified Questions - EMNLP 2020 (Findings)

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

Wasm-prechk

Index Typed WebAssembly - it works on all machines!

Language:RacketStargazers:0Issues:2Issues:0

WASM-Redex

A model of the WebAssembly language in Redex

Language:RacketStargazers:0Issues:2Issues:0

Web-page-DSL

A proof of concept for a DSL that generates web-pages

Language:RacketStargazers:0Issues:2Issues:0

well-typed-term-generator-proofs

Proofs of correctness for the generation method presented in Generating Well-Typed Terms that are not "Useless"

Language:CoqLicense:MITStargazers:0Issues:2Issues:0