Highlights
Block or Report
Block or report alissa-tung
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage
Sort by: Recently starred
Starred repositories
Native Haskell gRPC client and server based on `http2`
Huly — All-in-One Project Management Platform (alternative to Linear, Jira, Slack, Notion, Motion)
ZilchOS Core, a decidedly tiny Nix-based distro to play with
VSCode public API plugged on the monaco editor
Natural language tactics to teach mathematics using Lean 4
👀 That feeling when your SDDM theme suddenly disappeared
Web Database Viewer of Project Sekai
A simple library for reporting compiler/interpreter errors
NIx Language server, an incremental analysis assistant for writing in Nix.
A purely functional programming language with first class types
a proof-of-concept programming language based on Call-by-push-value
being an operating system for typechecking processes
A transpiler that converts TeX into Unicode (as possible).
Erlang binding of the HStreamDB Rust client library
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
Write expressive, high-performance parsers with ease.
Write safer FFI code in Rust without polluting it with unsafe code
Fast higher-order effect handlers with evidence passing