mattgreen's Stars
aristocratos/btop
A monitor of resources
Mozilla-Ocho/llamafile
Distribute and run LLMs with a single file.
lucia-auth/lucia
Authentication, simple and clean
a-h/templ
A language for writing HTML user interfaces in Go.
amacneil/dbmate
🚀 A lightweight, framework-agnostic database migration tool.
DescentDevelopers/Descent3
Descent 3 by Outrage Entertainment
krzysztofzablocki/Swift-Macros
A curated list of awesome Swift Macros
hmlongco/Factory
A new approach to Container-Based Dependency Injection for Swift and SwiftUI.
ExOK/Celeste64
A game made by the Celeste developers in a week(ish, closer to 2)
lovasoa/SQLpage
Fast SQL-only data application builder. Automatically build a UI on top of SQL queries.
woutdp/live_svelte
Svelte inside Phoenix LiveView with seamless end-to-end reactivity
facebookexperimental/MIRAI
Rust mid-level IR Abstract Interpreter
kakawait/hugo-tranquilpeak-theme
A gorgeous responsive theme for Hugo blog framework
diffblue/cbmc
C Bounded Model Checker
AliveToolkit/alive2
Automatic verification of LLVM optimizations
shaunsingh/SFMono-Nerd-Font-Ligaturized
Apple's SFMono font nerd-font patched and ligaturized
zhaohuabing/hugo-theme-cleanwhite
A clean, elegant blog theme for hugo
okupter/kitforstartups
The Open Source SvelteKit SaaS boilerplate.
EasyFrontendHQ/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 🌟
carltongibson/neapolitan
Quick CRUD views for Django
bcpeinhardt/learn_otp_with_gleam
A resource for learning the OTP framework with the Gleam programming language
JasonSteving99/claro-lang
Claro Lang
JDemler/BidirectionalTypechecking
Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
0x2a-42/lelwel
Resilient LL(1) parser generator for Rust
a-yiorgos/wambook
Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
stephancasas/SwiftUIWindowReader
Functional access to NSWindow within your macOS app's SwiftUI Views.
mvysny/vok-orm
Mapping rows from a SQL database to POJOs in its simplest form
thunderseethe/type-inference-example
Full Example Type Inference Implementation for thunderseethe.github.io
bastman/spring-kotlin-jdbi
playground for spring-boot, kotlin , jdbi
sancho20021/system-f-type-checker
System-F type-checker written in Haskell