get closures ready to compile

DreamBerd 4

Minimal implementations for dependent type checking and elaboration

The instant on-demand atomic CSS engine.

🍭 Lobe UI - an open-source UI component library for building AIGC web apps

VineJS is a form data validation library for Node.js

Material UI: Comprehensive React component library that implements Google's Material Design. Free forever.

Discord server https://discord.gg/HrV52MgSC2 QQ频道 https://pd.qq.com/s/1dwwmkgq4

The frontend for the ArcOS project

A JavaScript engine optimized for running React Native.

A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.

The UEFI bootloader for the HaribOS operating system

A simply task manager / Todo list

iOS 15+ Customization Toolbox

A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. Open Code.

a command-line game launcher for the Game Porting Toolkit

A modern Wine wrapper for macOS built with SwiftUI

NaN-boxing in C (but not really NaN-boxing strictly speaking)

Atlas77 is a programming language in development written in Rust

Cosmos is a modern and lightweight code editor.

A markup-based typesetting system that is powerful and easy to learn.

Small compiler for a strict functional language to teach myself Rust and compilation

Display disk/partition/block devices content as colors

Improved Brainfuck

⚛️ Basically a typed javascript dialect that compile to C.

🦀 Small exercises to get you used to reading and writing Rust code!

A simple functional and imperative programming language written in Haskell.

Resources for learning Category Theory for an enthusiast