Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Repository Index
77,852 visible repositories in the index
721–744 of 950 · Most stars
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
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
- ocaml
- linenoise
- readline
- standalone
Creates a system where users are forced to login in dedicated independent docker containers.
- docker
- docker-image
- virtual-machine
- multiuser
Permutations and permutation groups in Common Lisp.
- permutations
- permutation-groups
- permutation-algorithms
- lisp
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
🐝 A Highly Performant and easy to use goroutine pool for Go
- goroutine
- goroutine-pool
- goroutine-scheduling
- task-scheduler
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Adobe AIR native extension for Microsofts Kinect v2 for Windows SDK
A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support
libclang bindings for crystal (including automatic C bindings generator)
A drop-in modernization of jmoiron/sqlx that fixes lexer bugs, automates IN expansion, and adds pluggable hooks — built for Go 1.21+.
- mysql
- postgresql
- sqlx
- databases
Reactive computation tree library for non-blocking concurrent Common Lisp
- data-flow
- asynchronous
- common-lisp
- concurrency
Crystal wrapper for the libsodium crypto API
- crystal
- cryptography
- nacl
- libsodium
Transpiling fortran code to golang code
- transpile
- f4go
- fortran
- golang
A stand-alone Swift wrapper around the mongo-c client library, enabling access to MongoDB servers.
- swift
- mongodb-connector
- server-side-swift
- mongodb
Compute cluster (HPC) job submission library for Go (#golang) based on the open DRMAA standard.
Modern concurrency tools for Crystal
- crystal
- concurrent
Go 1.18+ polymorphic generic containers and functions.
- go
- golang
- generics
libssh2 binding for Crystal language
TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)
- delphi
- easy-to-use
- freepascal
- game
Manifold implementation in Clojurescript
- clojurescript
- manifold
- rx
- stream
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.