Explore Projects
Discover 77 open source projects
Showing 21-40 of 77 projects
ben1234560/AiLearning-Theory-Applying
Interactive learning app for AI theory and applications, with Jupyter Notebook examples.
tensorflow/adanet
A flexible AutoML framework with learning guarantees for building high-performance AI models.
NASA-SW-VnV/ikos
A static analyzer for C/C++ based on Abstract Interpretation, useful for software verification and validation.
agda/agda
Agda is a dependently typed programming language and interactive theorem prover for building robust, verified software.
nosuggest/Reflection_Summary
This repository contains fundamental algorithm theory knowledge for developers.
control-theory/gonzo
Gonzo! is a Go-based TUI log analysis tool for developers working with AI tools and frameworks.
mfrdixon/ML_Finance_Codes
A repository containing machine learning codes in finance, from theory to practice.
jozefg/learn-tt
A collection of resources for learning type theory and adjacent fields for developers.
github/CodeSearchNet
CodeSearchNet provides datasets, tools, and benchmarks for representation learning of code, enabling AI-powered code discovery.
markrogoyski/math-php
Powerful math library for PHP with features like statistics, probability distributions, linear algebra, and more.
pedrozath/coltrane
A Ruby library with a command-line interface for exploring music theory concepts.
joelparkerhenderson/queueing-theory
This is an introductory resource on queueing theory for software development, not a vibe coder tool.
sachuverma/DataStructures-Algorithms
A comprehensive resource for data structures, algorithms, and interview preparation in C++.
leanprover/lean3
Lean Theorem Prover is a programming language and theorem prover focused on dependent types and formal verification.
ZaneH/piano-trainer
A piano practice program with MIDI support, designed to help developers memorize piano scales.
dominikbraun/graph
A Go library for creating and manipulating generic graph data structures and visualizing them.
HoTT/book
This is a textbook on informal homotopy type theory, not a developer tool for vibe coders.
yishn/tikzcd-editor
A visual editor for creating commutative diagrams, useful for developers working with category theory concepts.
nayuki/Project-Euler-solutions
A collection of runnable code solutions for solving Project Euler problems in various languages.
igraph/igraph
A powerful C library for analyzing complex networks and graph-based data structures.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.