query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp
- common-lisp
- domain-specific-languages
- dsl
- json
Repository Index
47,133 repositories indexed
1,729–1,752 of 2,324 · Most stars
🐝 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
Fast YAML native library for Erlang / Elixir
- libyaml
- yaml
- libyaml-library
- erlang
The Effect monad, for handling native side effects
High performance utility functions using Generics
- filter
- functional
- generics
- go
Home for Blazor Extensions
- blazor-extensions
- blazor
- webassembly
- wasm
Auto-generated D bindings for Vulkan
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
High-speed approximate nearest neighbors for Ruby
libclang bindings for crystal (including automatic C bindings generator)
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