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
193–216 of 268 · Most stars
Adobe AIR native extension for Microsofts Kinect v2 for Windows SDK
Go 1.18+ polymorphic generic containers and functions.
- go
- golang
- generics
C# wrapper for FlashRuntimeExtensions
- adobe-air
- ane
- air-native-extensions
- csharp
A library which aids in making any JavaScript library more functional.
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.
A sync.WaitGroup with error handling and concurrency control
- golang
- goroutines
- waitgroup
- pool
Monads for Crystal
- monads
- crystal-language
- crystal
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
Simple Email Parser
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Make native methods available as partially applied functions.
go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4
Adobe AIR native extension for the Bullet physics simulation library
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Wait for a specified number of promises to be fulfilled
A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.
- algebraic-effects
- side-effect
- side-effects
- typesafe
Compile Sass/SCSS to CSS in Crystal (libsass binding)
Tealang - high level language for Algorand ASC1 and TEAL
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
A query library for retrieving part of JSON based on JSONPath syntax.
- jsonpath
- json
- peg
- golang