Explore Projects
Discover 676 open source projects
Showing 221-240 of 676 projects
AliSoftware/Reusable
A Swift mixin for reusing views easily and in a type-safe way for iOS development.
Esqarrouth/EZSwiftExtensions
A library of extensions for Swift that make the language more intuitive and expressive.
FStarLang/FStar
F* is a proof-oriented programming language that supports dependent types, SMT solving, and verification.
exhibitionist-digital/ultra
Zero-legacy Deno/React Suspense SSR framework with no bundling, streaming, and type-safe APIs.
hacksysteam/HackSysExtremeVulnerableDriver
A vulnerable Windows & Linux kernel driver for security research and exploit development.
XorTroll/Goldleaf
A multipurpose homebrew tool for Nintendo Switch with support for various features and file types.
jsynowiec/node-typescript-boilerplate
A minimalistic boilerplate to jumpstart a Node.js backend application in TypeScript with ESLint, Vitest, and type definitions.
duskload/react-device-detect
A JavaScript library to detect device type and render views accordingly.
0no-co/gql.tada
A powerful GraphQL query engine for TypeScript, enabling efficient and type-safe API development.
carthage-software/mago
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
tiangolo/uvicorn-gunicorn-fastapi-docker
Docker image with Uvicorn and Gunicorn for high-performance FastAPI web applications in Python.
fairygui/FairyGUI-unity
A flexible UI framework for building cross-platform GUI applications with Unity3D.
1Password/typeshare
Typeshare is a Rust tool for synchronizing type definitions between Rust and other languages for seamless FFI.
explosion/thinc
A refreshing functional take on deep learning, compatible with popular ML libraries like TensorFlow and PyTorch.
ahupp/python-magic
A Python wrapper for the libmagic file type identification library.
dropbox/djinni
Djinni is a tool that generates cross-language type declarations and interface bindings for C++ projects.
google/cel-go
Fast, portable expression evaluator with gradual typing for safe, non-Turing complete scripting in Go
idris-lang/Idris2
Purely functional language with dependent types and integrated compiler for type-safe systems programming
urchade/GLiNER
A lightweight and generalist NER model for extracting entities from text, with support for prompt-tuning.
samhocevar/wincompose
Windows utility enabling Linux-style compose key for typing special characters and accents.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.