Matt Green (mattgreen)

mattgreen

Geek Repo

Company:Systems and Technology Research

Location:Reston, VA

Home Page:http://callcc.io/

Github PK Tool:Github PK Tool

Matt Green's starred repositories

aams

Abstract Machines Galore

Language:RacketLicense:MITStargazers:9Issues:0Issues:0

monadic-cfa

Generic implementation of different CFA families based on monadic decomposition

Language:HaskellLicense:NOASSERTIONStargazers:21Issues:0Issues:0

abstracting-definitional-interpreters

Abstracting Definitional Interpreters

Language:TeXStargazers:66Issues:0Issues:0

simple-abstract-interpreter

A Simple Abstract Interpreter, built for teaching purposes

Language:PythonStargazers:16Issues:0Issues:0

ggml

Tensor library for machine learning

Language:C++License:MITStargazers:10434Issues:0Issues:0

hugo-apero

Apéro is a Hugo theme for personal websites. A Hugo theme you'll want to hang out with :milky_way: . This is the source for the theme files to install.

Language:SCSSLicense:CC-BY-4.0Stargazers:176Issues:0Issues:0

conlog

A simple prolog interpreter written in Rust

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

reflex

🕸️ Web apps in pure Python 🐍

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

ColorWell

A versatile alternative to NSColorWell for Cocoa and ColorPicker for SwiftUI.

Language:SwiftLicense:MITStargazers:20Issues:0Issues:0

sold

The sold linker

Language:C++License:MITStargazers:480Issues:0Issues:0

siesta

The civilized way to write REST API clients for iOS / macOS

Language:SwiftLicense:MITStargazers:2185Issues:0Issues:0

selfie

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

Language:Jupyter NotebookLicense:BSD-2-ClauseStargazers:2366Issues:0Issues:0

armstrong-distributed-systems

Notes on how we potentially could build reliable, scalable and maintainable computer systems.

Language:MakefileStargazers:313Issues:0Issues:0

mech

🦾 Main repository for the Mech programming language. Start here!

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

Essentials-of-Compilation

A book about compiling Racket and Python to x86-64 assembly

Language:TeXStargazers:1256Issues:0Issues:0
Language:LuaStargazers:49Issues:0Issues:0

adl

ADL (Algebraic Data Language)

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

acwj

A Compiler Writing Journey

Language:CLicense:GPL-3.0Stargazers:10252Issues:0Issues:0

Get

Web API client built using async/await

Language:SwiftLicense:MITStargazers:919Issues:0Issues:0

iommi

Your first pick for a django power cord

Language:PythonLicense:BSD-3-ClauseStargazers:663Issues:0Issues:0

hstream

Hyper Stream

Language:PythonStargazers:294Issues:0Issues:0

SQLite.swift

A type-safe, Swift-language layer over SQLite3.

Language:SwiftLicense:MITStargazers:9603Issues:0Issues:0

Facts-about-State-Machines

I hold the opinion that state machines are underrated

Stargazers:725Issues:0Issues:0

flatparse

Fast parsing from bytestrings

Language:HaskellLicense:MITStargazers:144Issues:0Issues:0

P

The P programming language.

Language:C#License:MITStargazers:2967Issues:0Issues:0

virgil

A fast and lightweight native programming language

Language:ShellStargazers:1181Issues:0Issues:0

practical-haskell

A collection of Practical Haskell bits.

Language:HaskellStargazers:84Issues:0Issues:0

rust-design-pattern

rust design patterns

Language:RustLicense:MPL-2.0Stargazers:1341Issues:0Issues:0

heritrix3

Heritrix is the Internet Archive's open-source, extensible, web-scale, archival-quality web crawler project.

Language:JavaLicense:NOASSERTIONStargazers:2750Issues:0Issues:0
Language:MakefileLicense:MITStargazers:4Issues:0Issues:0