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
169–192 of 508 · Most stars
URSA - RSA public/private key OpenSSL bindings for Node.js
WLA DX - Yet Another ANSI C GB-Z80/Z80/Z80N/eZ80/6502/65C02/65CE02/65816/68000/6800/6801/6809/8008/8080/HUC6280/SPC-700/SuperFX/Cx4/SH-2 Multi Platform Cross Assembler Package
Mono/.NET bindings for Qt
- qt
- mono
- csharp
- dotnet
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
This project brings FlatBuffers (an efficient cross platform serialization library) to Swift.
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
A thin Java wrapper to access the Steamworks API
- java
- bindings
- steamworks
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
A Parsing Expression Grammar (PEG) module, using the D programming language.
Compile Java byte-code to native CPU's.
- 6502
- assembly
- atari
- c64
Emits events in Go way, with wildcard, predicates, cancellation possibilities and many other good wins
- emitter
- golang
Lossless compression C library built for ultra-fast decode. Faster than LZ4 (+35% to 105%+; 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
Small configuration file parser library for C.
- config
- configuration-files
- c
- conf
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
DOM library for Go and WASM
- golang
- webassembly
- dom
Build fast, composable, and type-safe grammars and parsers in Dart.
- parser
- parser-combinator
- parsing-expression-grammar
- parser-library
Library for creating DotNet Web Worker threads/multithreading in Client side Blazor
- blazor
- web-worker
- backgroundservice
- worker-process
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
iOS utility class to manage global dispatch queue.
A high-level assembly language for writing homebrew software and games on retro console platforms.
Mini audio library
- golang
- audio
- alsa
- wasapi
Multiprocessing Pool Extensions
- python
- multiprocessing
- python3
- celery
:hocho: Strictly RFC 3986 compliant URI parsing and handling library written in C99; moved from SourceForge to GitHub
- uriparser
- c
- rfc-3986
- rfc-3513