PropEr: a QuickCheck-inspired property-based testing tool for Erlang
- erlang
- release-badge
- codecov-badge
- erlang-versions-badge
47,133 repositories indexed
2,233–2,256 of 6,721 · Most stars
PropEr: a QuickCheck-inspired property-based testing tool for Erlang
VoronoiView is a view (ViewGroup) that allows you to add and display views inside Voronoi diagram regions.
Simple yet powerful, open-source SpaceX launch tracker.
Reusable prompts for a structured, evidence-first bug bounty hunting workflow
Digital Forensics Investigation Platform
OCaml Language Server Protocol implementation
🎹 Play and display MIDI files on the web
Digital Signal Processing for Go
Elixir Tooling Integration Into Emacs
:closed_lock_with_key: Multiplatform command-line password manager
:four_leaf_clover: Evolutionary optimization library for Go (genetic algorithm, partical swarm optimization, differential evolution)
Database migration tool for .NET and .NET Core projects. Inspired by Flyway.
FarmVibes.AI: Multi-Modal GeoSpatial ML Models for Agriculture and Sustainability
#matrix is the online open-source workplace inspired in sococo.com for distributed teams to have the experience of work together each day, side-by-side. No matter where team members might be. Working in an online workplace is even more productive when people are feeling in the same space.
A C/C++ minor mode for Emacs powered by libclang
Excel spreadsheet (XLSX) format parser written in pure Swift
Use the w, e, b motions like a spider. Move by subwords and skip insignificant punctuation.
Interact with REST services in an ActiveRecord-like manner
Cofoundry is an extensible and flexible .NET Core CMS & application framework focusing on code first development
Machine.Specifications is a Context/Specification framework for .NET that removes language noise and simplifies tests.
A simple app for tracking monthly spending and working towards financial goals.
Animated, explorable diagrams for Claude and other coding agents, from a short JSON spec.
⌛️A customizable animated gradient loading bar.
Run large AI models on your own PC: Qwen3.8-Flash-Next on Strata's engine, and GLM 5.3 Flash, DeepSeek V4 Flash, LFM2.5, Qwen3.6, Ornith 1.5, Gemma 4, Tiel Coder and MiniCPM-V on a second engine written for PolyStrata. One-click install for Windows and Linux, OpenAI/Anthropic API on localhost.