Repository Index

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

• coq
• theorems

Functional programming framework for Go.

A Bitcoin Script Interpreter and Debugger in Scala

• scala
• bitcoin
• cryptocurrency

Less CSS compiler written in Java

Compilation and Verification of Data-Centric Languages

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

A Coreader-like Dependency Injection μFramework

• dependency-injection
• coreader
• functional-programming
• ios

BEAM friendly spinlocks for Elixir/Erlang

• concurrency
• concurrent-data-structure
• parallel-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

Pipelines using goroutines

• pipeline
• go
• concurrency

Parse placeholder and wildcard text commands

• parsing
• go
• golang
• text

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

Builds of the GNAT Ada compiler from FSF GCC releases

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

• swift
• ios
• tvos
• macos

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

Swift Parser Combinators

• parser
• parser-combinators
• swift

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

Pascal binding for SFML

• object-pascal
• wrapper
• library
• game-engine

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing

Translates GDScript code to C#

• godot
• godot-engine
• tool
• gdscript

The repository host gives no description.

Foundational Cryptography Framework for machine-checked proofs of cryptography.