Repository Index

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

• coq
• theorems

Less CSS compiler written in Java

Compilation and Verification of Data-Centric Languages

• verification
• query-language
• query-engine
• functional-programming

A portable cross-platform pinvoke .NET wrapper around libsass to convert SCSS to CSS

• libsass
• dotnet
• dotnet-standard
• scss

Parser generator toolset for Delphi (Yacc & Lex)

An asynchronous event-driven network framework( port netty ) written in D.

• dlang
• network
• event-driven
• asynchronous

Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption

• cryptography
• nettle
• encryption
• hash-algorithms

Node module that is bridged with the Java Hapi HL7 library.

• hl7-parsing
• hl7-message
• hit
• healthcare

Lightweight promises for iOS, macOS, tvOS, watchOS, and Linux

• swift
• ios
• tvos
• macos

Generalized folds, unfolds, and traversals for fixed point data structures

CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing

The repository host gives no description.

Foundational Cryptography Framework for machine-checked proofs of cryptography.

Extensible event loop and async-oriented IO for Scala Native; powered by libuv

Keras4Delphi is a high-level neural networks API, written in Pascal with Python Binding

• keras
• keras-neural-networks
• pascal
• delphi

CFFI based alternative to py4cl2

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.

• compiler
• go
• golang
• graphics

My personal website written in rust via yew/wasm

• yew
• rust
• wasm
• wasm-bindgen

Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml

• ocaml
• linenoise
• readline
• standalone

Common Lisp/CFFI bindings for the Vulkan API.

• vulkan
• cffi

Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code

Vulkan bindings for Common Lisp.

• common-lisp
• vulkan
• graphics-programming