Explore Projects
Discover 465 open source projects
Showing 161-180 of 465 projects
tox-dev/pipdeptree
A command-line utility to display the dependency tree of installed Python packages.
FStarLang/FStar
F* is a proof-oriented programming language that supports dependent types, SMT solving, and verification.
guptarohit/asciigraph
A lightweight Go package to create ASCII line graphs for command-line applications.
BayesWitnesses/m2cgen
Transform ML models into native code (Java, C, Python, Go, etc.) with zero dependencies
mpaland/printf
Tiny, fast, and fully featured printf implementation for embedded systems with no dependencies.
simonwep/viselect
A lightweight library that adds a visual way of selecting elements in the DOM, supporting major frameworks like React, Vue, and Preact.
ded/script.js
Asyncronous JavaScript loader and dependency manager for web development projects.
jubos/fake-s3
A lightweight server clone of Amazon S3 that simulates most of the commands supported by S3 with minimal dependencies.
a8m/angular-filter
A library of useful filters for AngularJS with no external dependencies.
bevacqua/rome
Customizable date and time picker library for front-end development with no jQuery dependency.
idris-lang/Idris2
Purely functional language with dependent types and integrated compiler for type-safe systems programming
siddharthkp/cost-of-modules
A tool to find out which of your dependencies are slowing down your development process.
hsnaydd/moveTo
A lightweight JavaScript library for smooth scroll animations without dependencies.
agda/agda
Agda is a dependently typed programming language and interactive theorem prover for building robust, verified software.
sonos/tract
A lightweight, self-contained Rust library for running Tensorflow and ONNX models with no dependencies
sandoche/Darkmode.js
A lightweight, zero-dependency JavaScript library to add dark/night mode to websites
PHP-DI/PHP-DI
A dependency injection container for PHP that makes it easier to manage application dependencies.
liftbridge-io/liftbridge
Liftbridge is a Kafka-style message streaming system built on NATS, providing a single binary with no JVM or ZooKeeper dependency.
loic-sharma/BaGet
A lightweight NuGet and symbol server for .NET developers to manage their package dependencies.
hmlongco/Factory
A modern dependency injection framework for Swift and SwiftUI developers.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.