Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.
FANN (Fast Artifical Neural Network) binding in Crystal
.NET wrapper around the LibSass library with the ability to support a virtual file system.
Provide await and async methods to Crystal Lang
Profunctor implementation of Lenses, Prisms, Traversals, Isos, etc.
Wrapper around mono library. Allows easy loading and interop between code written for the .NET framework and Rust.
- csharp
- dotnet
- fsharp
- mono
Clojure collection and sequence APIs in Common Lisp, with optional Clojure collection syntax
Automatic C-bindings generator for the Crystal language
Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]
Write HTML in plain Crystal
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
The Penn Locally Nameless Metatheory Library
Wrap existing D code for use in Python, Excel, C#
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Fast Ruby FFI string edit distance algorithms
Experimental Malfunction backend for Idris
Tiny DSL for idiomatic date parsing and formatting in Ruby
- ruby
- dsl
- date
- syntax-sugar
Crystal bindings to Dear ImGui
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Improved Go Syntax (transpiler)
:awesome = Elixir's Task ++ Basho's sidejob library
TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.