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

btop

A monitor of resources

Language:C++License:Apache-2.0Stargazers:18413Issues:106Issues:563

llamafile

Distribute and run LLMs with a single file.

Language:C++License:NOASSERTIONStargazers:17778Issues:163Issues:375

lucia

Authentication, simple and clean

Language:TypeScriptLicense:MITStargazers:8567Issues:22Issues:472

templ

A language for writing HTML user interfaces in Go.

Language:GoLicense:MITStargazers:7350Issues:33Issues:431

dbmate

🚀 A lightweight, framework-agnostic database migration tool.

Language:GoLicense:MITStargazers:4997Issues:31Issues:170

Descent3

Descent 3 by Outrage Entertainment

Language:C++License:GPL-3.0Stargazers:2742Issues:35Issues:122

Swift-Macros

A curated list of awesome Swift Macros

Language:SwiftLicense:MITStargazers:2110Issues:55Issues:0

Factory

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

Language:SwiftLicense:MITStargazers:1731Issues:31Issues:113

Celeste64

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

Language:C#Stargazers:1610Issues:9Issues:52

MIRAI

Rust mid-level IR Abstract Interpreter

Language:RustLicense:MITStargazers:997Issues:23Issues:129

hugo-tranquilpeak-theme

A gorgeous responsive theme for Hugo blog framework

Language:SCSSLicense:GPL-3.0Stargazers:918Issues:14Issues:342

SQLpage

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

Language:RustLicense:MITStargazers:912Issues:18Issues:204

cbmc

C Bounded Model Checker

Language:C++License:NOASSERTIONStargazers:789Issues:39Issues:1264

alive2

Automatic verification of LLVM optimizations

Language:C++License:MITStargazers:734Issues:24Issues:467

SFMono-Nerd-Font-Ligaturized

Apple's SFMono font nerd-font patched and ligaturized

Stargazers:699Issues:8Issues:12

kitforstartups

The Open Source SvelteKit SaaS boilerplate.

Language:TypeScriptLicense:MITStargazers:691Issues:14Issues:11

hugo-theme-cleanwhite

A clean, elegant blog theme for hugo

Language:CSSLicense:Apache-2.0Stargazers:690Issues:13Issues:108

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:575Issues:3Issues:0

neapolitan

Quick CRUD views for Django

Language:PythonLicense:MITStargazers:420Issues:11Issues:27

learn_otp_with_gleam

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

Language:GleamStargazers:177Issues:8Issues:0

claro-lang

Claro Lang

Language:JavaStargazers:138Issues:4Issues:41

BidirectionalTypechecking

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

Language:RustStargazers:110Issues:5Issues:0

lelwel

Resilient LL(1) parser generator for Rust

Language:RustLicense:Apache-2.0Stargazers:105Issues:2Issues:2

wambook

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

Language:PostScriptStargazers:39Issues:5Issues:0

SwiftUIWindowReader

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

Language:SwiftStargazers:30Issues:1Issues:0

vok-orm

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

Language:KotlinLicense:MITStargazers:22Issues:3Issues:17

monadic-cfa

Generic implementation of different CFA families based on monadic decomposition

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

type-inference-example

Full Example Type Inference Implementation for thunderseethe.github.io

Language:RustLicense:GPL-3.0Stargazers:17Issues:2Issues:0

aams

Abstract Machines Galore

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

spring-kotlin-jdbi

playground for spring-boot, kotlin , jdbi

Language:KotlinStargazers:4Issues:2Issues:0