libclang bindings for crystal (including automatic C bindings generator)
Repository Index
47,133 repositories indexed
1,729–1,752 of 2,416 · Most stars
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.
Utilities for using Tinkerpop3 via the node-java API in Typescript
Reactive computation tree library for non-blocking concurrent Common Lisp
- data-flow
- asynchronous
- common-lisp
- concurrency
comvert bool expression to elasticsearch DSL in rust
- elastic
- elasticsearch
- dsl
- sql
Relation algebra library for Coq
Crystal wrapper for the libsodium crypto API
- crystal
- cryptography
- nacl
- libsodium
A drop-in modernization of jmoiron/sqlx that fixes lexer bugs, automates IN expansion, and adds pluggable hooks — built for Go 1.21+.
☢️ V Nuklear module -- nuklear wrapper
- hacktoberfest
Iterate over promises serially
A better `Promise.race()`
Pure Python parser for classic Windows Event Log files (.evt)
Pattern matching for the monads in the cats Clojure library
- clojure
- clojurescript
- pattern-matching
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
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Compute cluster (HPC) job submission library for Go (#golang) based on the open DRMAA standard.
Modern concurrency tools for Crystal
- crystal
- concurrent
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Go 1.18+ polymorphic generic containers and functions.
- go
- golang
- generics
Ruby FFI bindings for Hunspell.
Map over promises serially
libssh2 binding for Crystal language
C# wrapper for FlashRuntimeExtensions
- adobe-air
- ane
- air-native-extensions
- csharp