Lightweight promises for iOS, macOS, tvOS, watchOS, and Linux
Repository Index
60,121 visible repositories in the index
1,849–1,872 of 2,590 · Most stars
Pipelines using goroutines
Generalized folds, unfolds, and traversals for fixed point data structures
Swift Parser Combinators
- parser
- parser-combinators
- swift
CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.
Pascal binding for SFML
- object-pascal
- wrapper
- library
- game-engine
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
Translates GDScript code to C#
- godot
- godot-engine
- tool
- gdscript
The repository host gives no description.
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Common Lisp CFFI wrapper around the DuckDB C API
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.
Macro for tapping into a pattern match while using the pipe operator
OCaml bindings to MariaDB, supporting the nonblocking API
Extensible event loop and async-oriented IO for Scala Native; powered by libuv
Keras4Delphi is a high-level neural networks API, written in Pascal with Python Binding
- keras
- keras-neural-networks
- pascal
- delphi
Clojure wrapper for the Tesseract OCR software
Vulkan bindings for Common Lisp.
- common-lisp
- vulkan
- graphics-programming
A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.
- lisp
- common-lisp
- generics
- polymorphic-functions
CFFI based alternative to py4cl2
Common Lisp Yacc
My personal website written in rust via yew/wasm
- yew
- rust
- wasm
- wasm-bindgen
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
- ocaml
- linenoise
- readline
- standalone