Repository Index

Simply way to control goroutines execution order based on dependencies

• goflow
• golang
• goroutine
• concurency

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

• raft
• verdi
• coq
• proof

Reusable, composable patterns across Elixir libraries

• elixir
• pattern-matching
• composable-patterns
• guards

transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!

• coffeescript
• bash
• transpiler

C# Bindings for the Vulkan API & SPIR-V

• vulkan
• c-sharp
• spir-v
• dotnet-standard

Import Go libraries in your Haxe projects Go -> Haxe source-to-source compiler

• haxe
• golang
• go
• compiler

Human-readable schedule expressions for .NET (C#): write "every day at 9am except sunday" instead of cron. Time zones, fluent builder, custom keywords, cron converter.

• cron
• csharp
• date-time
• dotnet

Rocket League Replay parser in Rust

• rust
• serde
• rocket-league

F# Cold Tasks and Cancellable Tasks

• fsharp
• dotnet
• async-await
• dotnet-core

Delphi implementation of ZeroMQ Majordomo protocol and CZMQ high level binding

Write LÖVE 2D projects with TypeScript

• love2d
• typescript
• typescript-declaration
• lua

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

• parser
• binary-parser
• ada
• spark

A revolutionary new dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification

Go asynchronous simple function utilities, for managing execution of closures and callbacks

• goroutine
• callback
• closure
• golang

Elixir phone number parser for numbers in international standard.

• phone
• countries
• international
• elixir

Quickjs FreePascal / Delphi Bindings

• quickjs
• fpc
• freepascal
• javascript

Transpile Golang into Arduino code to use fully automated testing at your IoT projects.

• go
• golang
• arduino
• transpiler

Go simple async worker pool

• worker-pool
• async
• no-showcase

TensorFlow.Delphi (TF.Delphi) provides a Delphi(Pascal) Standard binding for TensorFlow. It aims to implement the complete Tensorflow API in Delphi which allows Pascal developers to develop, train and deploy Machine Learning models with the Pascal Delphi

• deep-learning
• delphi
• machine-learning
• pascal

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

Selenium WebDriver Bindings for Objective-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

brain-dead simple parallel processing for ruby

OCaml bindings for Kafka

• ocaml-bindings
• kafka
• librdkafka