JDK main-line development https://openjdk.org/projects/jdk
- openjdk
- java
- jvm
Repository Index
47,133 repositories indexed
1–23 of 23 · Most stars
Extensions for F#
- f-sharp
- generic-functions
- monad-transformers
- arrow-functions
Functional programming and other utilities from the original "fsharpx" project
- hacktoberfest
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
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.
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
Template your base files and generate new projects from Git(Hub).
- generator
- scaffolding
- templates
- schema
Railway-oriented programming for .NET
Import Go libraries in your Haxe projects Go -> Haxe source-to-source compiler
- haxe
- golang
- go
- compiler
Fast, safe, complete libvips bindings for image processing in Java / JVM projects
- ffm
- image-processing
- java
- libvips
VS add-in. Creates Xamarin.Android Binding Projects using gradle
Write LÖVE 2D projects with TypeScript
- love2d
- typescript
- typescript-declaration
- lua
Bindings to the Tauri API for projects using wasm-bindgen
Transpile Golang into Arduino code to use fully automated testing at your IoT projects.
- go
- golang
- arduino
- transpiler
Asynchronous programming utilities for F#
Library providing fast hash based immutable map and set
- hashmap
- fsharp
- collections
- hashset
A showcase of awesome programming language projects and resources written in Elm.
A curation of WebAssembly (Wasm) resources, projects, and communities.
A cookiecutter template for Common Lisp videogame projects
- common-lisp
- cookiecutter
- cookiecutter-template
- lisp
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
A toml parser and checker to avoid common errors in Substrate projects