Repository Index

Generate Clojure syntax from vectors

• clojure

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]

Generate images from Graphviz dot strings in Clojure and Clojurescript

Micromega tactics for Mathematical Components

• coq
• ssreflect
• mathcomp
• proof-automation

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

• coq
• bourbaki
• set-theory
• mathcomp

promise semaphore

Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀

• pipe
• pipeline
• kleisli
• ramda

🇪🇺 Resources and Learning Games for European Romance Language Communication

• language
• romance-languages
• language-learning

Transpiles from everything to everything else

Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.

• elixir-lang
• elixir
• hex
• package

COM-wrapper of Cloo to execute OpenCL code from VBA/Excel.

• excel
• excel-vba
• vbscript
• vba

kafka pascal, freepascal bindings using librdkafka and zeromq

Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:

• concurrency
• async-await
• reactive-programming
• streams

Async is an asynchronous task package for Go

• async
• async-await
• golang
• await

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

• coq
• complex-analysis
• real-analysis

This javascript webapp converts GLSL code from shadertoy.com to Gamemaker GLSL ES as well as output other necessary code to run.

• shadertoy
• gamemaker
• text-processing

Bindings to special math functions from the Cephes library.

Like `Promise.all` but for object properties.

• deno
• promise

A port of Bryan O'Sullivan's attoparsec from Haskell to F#. Nuget: 'Attoparsec'

• parsing
• combinators
• fsharp
• attoparsec

Use plotly in your browser to explore data from a Common Lisp REPL

• lisp

Implementing promises in Ada. Type-safe, efficient, thread-safe, ...

JS style promises added to GML, as well as an abundant number of async functions which can now return a promise.

This is a library for generating a Common-Lisp foreign function interface (FFI) from GObject Introspection XML files (GIR files).

• gobject-introspection
• code-generation

Simple .lng File Parser from HandyGames games

• deepl
• javagame
• lng
• parser