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
25–48 of 58 · Most stars
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Docile keeps your Ruby DSLs tame and well-behaved
- dsl
- ruby
- builder-pattern
- immutability
Multi target HAML (HAML for PHP, Twig, <your language here>)
- haml
- php
- twig
- haml-php
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
Upgrade your pipelines with monads.
A pipe-like function to verticalize your JavaScript code
Template your base files and generate new projects from Git(Hub).
- generator
- scaffolding
- templates
- schema
cpp11 helps you to interact with R objects using C++ code.
- r
- cpp11
- cpp
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.
- fabric
- horizon
- minecraft
- neoforge
Extism Go SDK - easily run WebAssembly modules in your Go applications
Get inside your JVM
- jvm
- java
- monitoring
- repl
Import Go libraries in your Haxe projects Go -> Haxe source-to-source compiler
- haxe
- golang
- go
- compiler
A Swift package for Raylib. Builds Raylib from source so no need to fiddle with libraries. Just add as a dependency in you game package and go!
- gamedev
- raylib
- raylib-swift
- swift
Transpile Golang into Arduino code to use fully automated testing at your IoT projects.
- go
- golang
- arduino
- transpiler
Electra is an esolang where you code like an electrician.
Go Stream, like Java 8 Stream.
- go-stream
- filter
- map
- flatmap
Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.
- golang
- go
- pooling
- pool
Compile JavaScript to Dart so that you can compile it back to JavaScript and run.
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
The universal ISSR server compatible with <your-favorite-programming-language>
Compile-Time Parser Generator in D programming language.