Repository Index

Skia4Delphi is a cross-platform 2D graphics API for Delphi platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.

• android
• windows
• macos
• ios

Quick development library (AutoMapper, LinQ, IOC Dependency Injection, MemoryCache, Scheduled tasks, Json and Yml Config and Options pattern, Serializers, etc) with crossplatform support for Delphi/Firemonkey (Windows,Linux,OSX/IOS/Android) and freepascal (Windows/Linux).

• delphi
• azure
• config
• json

An Optional Type System for Lua

[unmaintained] Scala wrapper for Apache TinkerPop 3 Graph DSL

• gremlin
• scala
• graph-database
• graph

iOS utility class to manage global dispatch queue.

WebView4Delphi is an open source project created by Salvador Díaz Fau to embed Edge/Chromium-based browsers in applications made with Delphi or Lazarus/FPC for Windows.

• windows
• delphi
• lazarus
• fpc

Cypher for Gremlin adds Cypher support to any Gremlin graph database.

• tinkerpop
• tinkerpop3
• gremlin
• cypher

Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.

• cql
• clinical-quality-language
• cds
• java

An extremely small, intuitive and fast functional utility library for JavaScript

• javascript
• functional
• lightweight
• fast

Formal proof of the Four Color Theorem [maintainer=@ybertot]

• coq
• ssreflect
• mathcomp
• four-color-theorem

A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.

A Lua 5.3 parser written with LPegLabel

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

• formal-verification
• fuzzing
• oss-fuzz
• proofs

Rembulan, an implementation of Lua 5.3 for the Java Virtual Machine

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

• coq
• library
• programming
• coq-platform

Messaging system for communication between classes / layers in delphi

• delphi
• firemonkey
• vcl
• fmx

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

• coq
• theorems

Prime numbers for Coq

• coq
• theorem-proving
• elliptic-curves
• prime-numbers

The formal proof of the Odd Order Theorem

• coq
• ssreflect
• mathcomp
• feit-thompson-theorem

Extremely simple Process pooling and task submission in Elixir

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

Extra contribution for mathcomp

• theorem-proving
• primality-test
• matroid
• rsa-algorithm

Solving the mini Rubik (2x2) in Coq

• theorem-proving
• formalization
• rubik-cube
• 2x2x2

Incremental analysis in Ada

• ada
• syntax-analysis
• incremental
• parsing