Clojure library for Blueprints (part of the Tinkerpop graph stack).
Repository Index
47,133 repositories indexed
73–94 of 94 · Most stars
Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.
- delphi
- pascal
- allegro5
- lazarus
Tealang - high level language for Algorand ASC1 and TEAL
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
A query library for retrieving part of JSON based on JSONPath syntax.
- jsonpath
- json
- peg
- golang
Simple partial application for FuncN and ActionN on RxJava [STABLE]
Monitor and restart background threads.
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
Blen2d4Delphi is alive again, which was started by #neslib (Erik van Bilsen: https://github.com/neslib/DelphiBlend2D)
Ada binding for the Pebble Time smartwatch
Enhanced query string parser for Erlang
lexer generator
Run speedtest-cli and publish results via MQTT
LALR(1) Parser Generator for the D Programming Language
Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)
- binary
- compiler
- runtime
- csharp
A Catspeak to Gamemaker VM bytecode Just-In-Time compiler.
An expressive high level language for the Algorand block chain that compiles to TEAL code.
- blockchain
- algorand
- teal
- smartcontract
A partial thick Ada binding to OpenAL; essentially a sound-playing utility for Ada apps.
- openal
- ada
- sound
- music-loops
OCaml bindings for Python