Repository Index

Python module to reduce a cmake file to an AST

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]

An interpreter for C flat, a music-based programming language

Parser & Resolver & Abstract Completion library for D

Clj-crypto is a wrapper for Bouncy Castle which allows you to easily use cryptography in your clojure app.

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

• coq
• bourbaki
• set-theory
• mathcomp

Monitor and restart background threads.

Software Transactional Locks

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.

Extremely simple Process pooling and task submission in Elixir

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

• combinatorial-optimization
• community-detection
• dynamic-graphs
• edge-orientation

Go utility library for convenient looping using Go's range-over-func feature

• golang

Build parsers easily

• parser
• parser-library
• parsing
• pratt-parser

promise semaphore

Embeddable Forth interpreter written in Ada

• ada
• forth
• interpreter

The repository host gives no description.

A lock-free concurrent data structures library for Common Lisp.

• common-lisp
• concurrency
• lisp
• primitives

Easy use of Microsoft DirectShow in Delphi for Win32 AND Win64

• dspack
• microsoft-directshow
• delphinuspackage

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

Free Monads and useful constructions to work with them

🇪🇺 Resources and Learning Games for European Romance Language Communication

• language
• romance-languages
• language-learning

CatBoost a fast, scalable, high performance Gradient Boosting on Decision Trees library. Golang using Cgo for blazing fast inference CatBoost Model 🚀

• cgo
• golang
• deep-learning
• gradient-boosting

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

• coq
• randomized-algorithms
• probability
• monad