Giters
Matt Green (mattgreen)

mattgreen

Geek Repo

99

followers

17

following

561

stars

Company:Systems and Technology Research

Location:Reston, VA

Home Page:http://callcc.io/

Github PK Tool:Github PK Tool

Matt Green's starred repositories

lelwel

Resilient LL(1) parser generator for Rust

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

learn_otp_with_gleam

A resource for learning the OTP framework with the Gleam programming language

Language:GleamStargazers:164Issues:0Issues:0

type-inference-example

Full Example Type Inference Implementation for thunderseethe.github.io

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

BidirectionalTypechecking

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

Language:RustStargazers:110Issues:0Issues:0

btop

A monitor of resources

Language:C++License:Apache-2.0Stargazers:17808Issues:0Issues:0

html-tailwindcss-components

Free TailwindCSS HTML UI Components - built to create landing pages and websites. Easyfrontend UI components are free and open-source. show your support and love, don't forget to give us a star 🌟

Language:HTMLLicense:NOASSERTIONStargazers:563Issues:0Issues:0

Descent3

Descent 3 by Outrage Entertainment

Language:C++License:GPL-3.0Stargazers:2721Issues:0Issues:0

wambook

Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci

Language:PostScriptStargazers:37Issues:0Issues:0

SQLpage

SQL-only webapp builder, empowering data analysts to build websites and applications quickly

Language:RustLicense:MITStargazers:857Issues:0Issues:0

dbmate

🚀 A lightweight, framework-agnostic database migration tool.

Language:GoLicense:MITStargazers:4778Issues:0Issues:0

claro-lang

Claro Lang

Language:JavaStargazers:138Issues:0Issues:0

cbmc

C Bounded Model Checker

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

Celeste64

A game made by the Celeste developers in a week(ish, closer to 2)

Language:C#Stargazers:1567Issues:0Issues:0

hugo-theme-cleanwhite

A clean, elegant blog theme for hugo

Language:CSSLicense:Apache-2.0Stargazers:676Issues:0Issues:0

alive2

Automatic verification of LLVM optimizations

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

hugo-tranquilpeak-theme

A gorgeous responsive theme for Hugo blog framework

Language:SCSSLicense:GPL-3.0Stargazers:919Issues:0Issues:0

llamafile

Distribute and run LLMs with a single file.

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

spring-kotlin-jdbi

playground for spring-boot, kotlin , jdbi

Language:KotlinStargazers:4Issues:0Issues:0

vok-orm

Mapping rows from a SQL database to POJOs in its simplest form

Language:KotlinLicense:MITStargazers:22Issues:0Issues:0

neapolitan

Quick CRUD views for Django

Language:PythonLicense:MITStargazers:386Issues:0Issues:0

Swift-Macros

A curated list of awesome Swift Macros

Language:SwiftLicense:MITStargazers:2062Issues:0Issues:0

MIRAI

Rust mid-level IR Abstract Interpreter

Language:RustLicense:MITStargazers:978Issues:0Issues:0

templ

A language for writing HTML user interfaces in Go.

Language:GoLicense:MITStargazers:7018Issues:0Issues:0

kitforstartups

The Open Source SvelteKit SaaS boilerplate.

Language:TypeScriptLicense:MITStargazers:674Issues:0Issues:0

lucia

Authentication, simple and clean

Language:TypeScriptLicense:MITStargazers:8178Issues:0Issues:0

SwiftUIWindowReader

Functional access to NSWindow within your macOS app's SwiftUI Views.

Language:SwiftStargazers:29Issues:0Issues:0

Factory

A new approach to Container-Based Dependency Injection for Swift and SwiftUI.

Language:SwiftLicense:MITStargazers:1673Issues:0Issues:0

SFMono-Nerd-Font-Ligaturized

Apple's SFMono font nerd-font patched and ligaturized

Stargazers:680Issues:0Issues:0

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