Repository Index

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

• ocaml
• pcre
• pattern-matching
• string-matching

TryLock support on read-write lock for Golang

• trylock
• locker
• mutex

A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.

• cross-platform
• dialog
• file
• filesystem

A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.

• functional-programming
• javascript
• js
• monad

Elixir library to do pipeable transformations on html strings (with CSS selectors)

• elixir
• html-parser
• html-renderer
• css-selector

An Elixir macro for easily piping arguments at any position.

• elixir
• macros
• pipe

Tensorflow wrapper for D

• tensorflow
• tfd
• dlang
• d

Dynamic Binding for libui (https://github.com/andlabs/libui) in D

Simple ActionN composition to use with RxJava [STABLE]

Port of Sciter headers for the D language

• sciter
• tiscript
• htmlayout
• gui

immutable primitive array/NonEmptyArray wrapper for Scala

• data-structures
• scala
• primitive-arrays
• scala-js

Mutex Server using WebSocket

• mutex
• server
• critical-section
• websocket

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]

Simple partial application for FuncN and ActionN on RxJava [STABLE]

Parser and printer for date-times in ISO8601

• ocaml
• iso8601
• datetime
• parser

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

• coq
• bourbaki
• set-theory
• mathcomp

Monitor and restart background threads.

D bindings for the sokol headers (https://github.com/floooh/sokol)

• bindings
• d
• dlang
• sokol

V wrapper around the C Java Native Interface

• java
• jni
• kotlin
• android

A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe

This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.

Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.

• parallel-processing
• elixir-library

Elixir macro for extracting or transforming values inside a pipe flow.

• elixir
• pipe
• error-handling