Explore Projects
Discover 676 open source projects
Showing 181-200 of 676 projects
sourcegraph/cody-public-snapshot
An AI code assistant that uses advanced search and codebase context to help developers write and fix code
sorbet/sorbet
A fast, powerful type checker designed for Ruby, useful for vibe coders building Ruby projects.
HigherOrderCO/Kind
A modern proof language written in Haskell, focused on dependent types, formality, and functional programming.
arrowtype/recursive
Recursive Mono & Sans is a high-quality variable font family designed for code and UI use.
apple/swift-argument-parser
A type-safe argument parsing library for building command-line interfaces in Swift.
gvergnaud/hotscript
A TypeScript library for powerful type-level programming and transformation.
elastic/elasticsearch-net
Official .NET client library for working with Elasticsearch, the popular distributed search and analytics engine.
KhronosGroup/Vulkan-Hpp
An open-source C++ API for the Vulkan graphics and compute API, aimed at providing a more intuitive and type-safe interface.
go-jet/jet
A type-safe SQL builder with code generation and automatic query result data mapping for Go.
fregante/GhostText
A browser-based text editor that synchronizes text input in real-time across the editor and browser.
Rightpoint/BonMot
A Swift library that provides beautiful, easy-to-use attributed strings with support for dynamic type, XML parsing, and more.
guillaume-chevalier/LSTM-Human-Activity-Recognition
A TensorFlow-based example of human activity recognition using an LSTM RNN on smartphone sensor data.
nullptrlabs/pgmodeler
An open-source data modeling tool designed for PostgreSQL, allowing developers to generate DDL commands visually.
AmrDeveloper/GQL
GitQL is a SQL-like query language and SDK to perform queries on Git repositories, supporting advanced SQL features.
idris-lang/Idris-dev
Idris is a dependently typed functional programming language that can be used for building robust, verified software.
paulirish/git-open
A command-line tool that opens the GitHub page or website for a repository in your browser.
grain-lang/grain
Grain is a modern, functional, and type-safe language that compiles to WebAssembly.
graphql-nexus/nexus
Code-first, type-safe GraphQL schema construction library for TypeScript developers
wevm/viem
A TypeScript interface for interacting with the Ethereum blockchain, providing a type-safe and modern API.
milessabin/shapeless
A generic programming library for Scala that enables advanced type-level programming
Stay in the loop
Get weekly updates on trending AI coding tools and projects.