Seamless operability between C++11 and Python
- python
- bindings
Repository Index
61,772 visible repositories in the index
1–24 of 82 · Most stars
A configuration as code language with rich validation and tooling.
- pkl
- java
- kotlin
- config
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
The programming language for agents
- llm
- boundaryml
- guardrails
- structured-data
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
The core OCaml system: compilers, runtime system, base libraries
- ocaml
- compiler
- functional-language
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
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
Flutter/Dart <-> Rust binding generator, feature-rich, but seamless and simple.
A language that compiles to Bash and Windows Batch
jank is the native Clojure dialect with seamless C++ interop.
A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
- liquidsoap
- streaming
- webradio
Universal toplevel for OCaml
Effects-based direct-style IO for multicore OCaml
- concurrency
- effects
- io
- multicore
Quick development library (AutoMapper, LinQ, IOC Dependency Injection, MemoryCache, Scheduled tasks, Json and Yml Config and Options pattern, Serializers, etc) with crossplatform support for Delphi/Firemonkey (Windows,Linux,OSX/IOS/Android) and freepascal (Windows/Linux).
- delphi
- azure
- config
- json
Parser combinators built for speed and memory efficiency
- ocaml
- parser-combinators
- parsing
A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.
- functional-programming
- lazy-evaluation
- golang-library
- golang
A modern supercompiler for call-by-value functional languages
OCaml bindings for PyTorch
The Ott tool for writing definitions of programming languages and calculi
Library for binding to C libraries using pure OCaml