The core OCaml system: compilers, runtime system, base libraries
- ocaml
- compiler
- functional-language
Repository Index
56,139 visible repositories in the index
49–72 of 554 · Most stars
Light LDAP implementation
- authentication
- ldap
- opaque
- rust
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
- functional-programming
- kotlin-library
- monads
- functional-data-structure
The Scala 3 compiler, also known as Dotty.
- scala
- scala3
- epfl
- compiler
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
- pony-language
- pony-source
- ponyc
- programming-language
vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.
- javaslang
- java
- functional-programming
- object-functional
A statically typed lisp, without a GC, for real-time applications.
GoGoCode is a transformer for JavaScript/Typescript/HTML based on AST but providing a more intuitive API.
JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern
Super-fast alternative to Babel for when you can target modern JS runtimes
Modern concurrency tools including agents, futures, promises, thread pools, supervisors, and more. Inspired by Erlang, Clojure, Scala, Go, Java, JavaScript, and classic concurrency patterns.
- concurrency
- ruby
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
- plugin-system
- c
- cpp
- go
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.
:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
- python
- dotnet
- mono
- clr
LWJGL is a Java library that enables cross-platform access to popular native APIs useful in the development of graphics (OpenGL, Vulkan, bgfx), audio (OpenAL, Opus), parallel computing (OpenCL, CUDA) and XR (OpenVR, LibOVR, OpenXR) applications.
- lwjgl
- kotlin
- opengl
- opencl
Lightweight, modular, and extensible library for functional programming.
Native Mac APIs for Go. Previously known as MacDriver
- golang
- apple
- macos
- objective-c
The ESTree Spec
An ahead-of-time JavaScript compiler
Programming Language Theory λΠ
- programming-languages
- type-theory
- functional-programming
- category-theory
Automatically generates Rust FFI bindings to C (and some C++) libraries.
- ffi
- bindings
- codegen
Zero allocation LINQ with LINQ to Span, LINQ to SIMD, and LINQ to Tree (FileSystem, JSON, GameObject, etc.) for all .NET platforms and Unity, Godot.
- linq
- c-sharp
- unity