Repository Index

raix (Reactive And Interactive eXtensions) is a functional, composable, API for AS3 that simplifies working with data, regardless of whether its interactive (arrays) or reactive (events). raix was previously RxAs

High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic

• async-await
• cache
• caching
• cocoapods

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.

• kotlin
• graphql
• client
• code-generation

Provide await and async methods to Crystal Lang

• crystal-language
• concurrency

simple to use threading library

Write HTML in plain Crystal

• crystal
• dsl
• html
• oop

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

🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].

• monads
• result-type
• typing
• python

`llthreads` library rewritten without `LuaNativeObjects` code generator

• lua
• threading
• pthreads
• lua-binding

Monadic effects and equational reasoning in Rocq

• monads
• monad-transformers
• probabilistic-programming
• nondeterminism

Tiny DSL for idiomatic date parsing and formatting in Ruby

• ruby
• dsl
• date
• syntax-sugar

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.

• golang
• go
• pooling
• pool

Raylib binds to elixir for programming games

• raylib
• elixir
• bindings
• audio

A PEG parser/transformer with a pleasant Elixir DSL.

A codemod-cli project for converting Ember objects to es6 native classes

• codemod
• ember

The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.

a tool for handling file uploads simple

• file
• upload
• multipart
• http

Parse placeholder and wildcard text commands

• parsing
• go
• golang
• text

Builds of the GNAT Ada compiler from FSF GCC releases

Generalized folds, unfolds, and traversals for fixed point data structures

Translates GDScript code to C#

• godot
• godot-engine
• tool
• gdscript

Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code

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

A framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads