JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Repository Index
47,133 repositories indexed
193–216 of 521 · Most stars
Example projects to help you get started with Hygraph
A simple wrapper around :mksession.
- neovim
- telescope
- sessions
- projects
Double-entry accounting & ERP for the web
- postgresql
- accounting
- billing
- web-app
A curated list of awesome Pyramid apps, projects and resources.
A community-maintained list of Language Support Projects for Godot Engine.
- pluginscript
- modules
- blazium
- gdextension
Static XSS audit skill with 14 layers of checks for React, TypeScript, and JavaScript projects.
Trac is an enhanced wiki and issue tracking system for software development projects (mirror)
- issue-tracker
- bug-tracker
- wiki
- project-manager
A tilemap editor for Game Boy, Color, Advance, DS, and SNES projects. Written in C++ with FLTK.
- tilemap
- tilemap-editor
- game-development
- gameboy
A curated list of awesome programmers and software projects you can support!
- patreon
- opensource
- awesome
- awesome-list
Web/desktop UI for Gemini CLI/Qwen Code. Manage projects, switch between tools, search across past conversations, and manage MCP servers, all from one multilingual interface, locally or remotely.
A list of awesome Tor related projects, articles, papers, etc
- awesome
- awesome-list
- tor
- onion
A prototypical .NET solution (file system layout and tooling), recommended for F# projects
A curated list of awesome libraries, snippets, guides, and projects for GameMaker.
Wally is a modern package manager for Roblox projects inspired by Cargo
High-level build system for distributed, multi-platform C/C++ projects.
- fips
Next-generation toolchain manager for Roblox projects
A curated compilation of AI-driven generative music resources and projects. Explore the blend of machine learning algorithms and musical creativity.
Godot 4 template for game projects (GDScript), inspired by Maaack's Template.
- game
- game-template
- godot
- godot-engine
HTTP library for F#
- fsharp
- http
- rest-client
- http-client
A cross-platform native backend for Haxe projects
A declarative CLI argument parser for F#
This projects gives Kotlin bindings and several extensions for Apache Spark. We are looking to have this as a part of Apache Spark 3.x
Granular builds of Rust projects for Nix
- nixos
- nixpkgs
- rust
- cargo