Stars
A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
👻 Primitive and flexible state management for React
Typescript generation for pocketbase records
An open-source framework for making universal native apps with React. Expo runs on Android, iOS, and the web.
A high-performance list component for React Native
Opensource IDE For Exploring and Testing API's (lightweight alternative to Postman/Insomnia)
SPM For KMP: Use Apple Swift packages and sources in a KMP project
Standard ML interpreter, with relational extensions, implemented in Java
WYSIWYG editing for SwiftUI and UIKit apps
Type Inference Library written in TypeScript
Hindley–Milner type inference implemented in Python.
Prototype of set-theoretic type system, with polymorphism and type inference.
A statically-typed strictly-evaluated garbage-collected readable programming language.
Swift type checking and semantic analysis for developer tools
A framework for writing terminal applications in Swift.
LLM UI with advanced features, easy setup, and multiple backend support.
Low-level system calls and types for Swift
A variable font family designed to aid in reading proficiency.
The fastest HTTP/2 Go Web Framework. New, modern and easy to learn. Fast development with Code you control. Unbeatable cost-performance ratio 🚀
⚡️ Express inspired web framework written in Go