An OpenJDK release maintained and supported by SAP
- openjdk
- java
- open-source
- jdk
Repository Index
63,766 visible repositories in the index
73–96 of 145 · Most stars
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
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
An opinionated F# Library for error handling
- fsharp
- error-handling
- railway-oriented-programming
- category-theory
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Auto generated Go wrapper for Dear ImGui via cimgui
- golang
- imgui
- cimgui
Handcrafted Go bindings for libVLC and high-level media player interface
- libvlc
- go
- vlc
- bindings
WebView4Delphi is an open source project created by Salvador Díaz Fau to embed Edge/Chromium-based browsers in applications made with Delphi or Lazarus/FPC for Windows.
- windows
- delphi
- lazarus
- fpc
[Go]Distributed Actor/Grain framework for Golang with goodies
- actor-model
- actors
- actorsystem
- golang
Fastest tool to access data in Elixir
- elixir
- macros
- lenses
- nested-structures
Run promise-returning & async functions concurrently with optional limited concurrency
GtkD is a D binding and OO wrapper of GTK+ originally created by Antonio Monteiro
Evented I/O streams for Swift
An opinionated set of bindings to the React library, optimizing for the most basic use cases
High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.
- immutable
- typescript-definitions
- es2015-modules
- data-structures
Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land
- promise
- fantasy-land
- async
- asynchronous
WATSON: Wasted but Amazing Turing-incomplete Stack-based Object Notation
- esolang
- esoteric-language
- serialization
- encoding
Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal
- pascal
- vulkan
- vulkan-api
- vulkan-library
Single-header c99 accelerated float/double parsing. Port of the fast_float library.
- c
- high-performance
- neon
- parsing
Ruby wrapper for Apache Spark
- ruby
- spark
- ruby-spark
- distributed
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
Railway-oriented programming for .NET