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
60,621 visible repositories in the index
241–264 of 582 · Most stars
A slice of functional programming to chain ruby services and blocks, thus providing a new approach to flow control. Make them flow!
A lightweight ClojureScript abstraction over ReactJS
C++11 thread-safe container for sharing data between threads (synchronized queue)
- cpp
- multithreading
- thread-safe
- channel
webgpu.h - C version of the JS API, for both native and Wasm. A multi-vendor standard between Dawn/Emdawnwebgpu and wgpu-native. Designed primarily for binding into higher-level languages.
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
The ultimate Python binding for Vulkan API
- vulkan
- python
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
- fsharp
- rfc
- language-design
- programming-language
Safe and easy to use crypto for iOS and macOS
- cryptography
- swift
- libsodium
A thin Java wrapper to access the Steamworks API
- java
- bindings
- steamworks
Auto generated Go wrapper for Dear ImGui via cimgui
- golang
- imgui
- cimgui
Project Delphi-OpenCV. Translation of OpenCV library header files in Delphi
Lanes is a lightweight, native, lazy evaluating multithreading library for Lua 5.1 to 5.5.
Lossless compression C library built for ultra-fast decode. Faster than LZ4 (+30% to 125%+; best on ARM64), at a better ratio. Official Rust, Python, Node.js, Go and WASM bindings. Write-once/read-many, with optional seekable archives for O(1) random access.
- arm64
- c
- compression
- lz4
go-functional is a library of iterators to augment the standard library
- go
- golang
- functional-programming
Reactive Extensions for Lua
Compile Java byte-code to native CPU's.
- 6502
- assembly
- atari
- c64
A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.
- functional-programming
- lazy-evaluation
- golang-library
- golang
A simple and powerful multithreading library for Delphi
Functional API for Microsoft Orleans http://orleanscontrib.github.io/Orleankka
- actors
- cqrs
- event-sourcing
- fsm
Ruby library for interfacing with FANN (Fast Artificial Neural Network)
- ai
- ruby-fann
- ruby-gem
- neural-network
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
Stream utilities for Java 8
QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native TypeScript, a REPL that survives restarts, Rust bindings.
- c
- durable-execution
- embeddable
- hibernation