Repository Index

Common Lisp packrat parser

• common-lisp
• parser
• packrat

TypeScript Iteration Tools Library

• fluentinterface
• generator
• infinite-iteration
• iterable

Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications

• elm
• json-schema
• json
• elixir

A foundational framework for modular cryptographic proofs in Coq

• cryptography
• coq-library
• coq-formalization
• state-separating-proofs

A TypeScript/JavaScript wrapper for the Steamworks SDK using Koffi FFI, designed for Node.js and Electron applications with Steamworks SDK integration.

• electron
• nodejs
• steam
• steamworks

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.

• supercollider
• lisp
• synth
• sequencer

Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.

• kotlin
• graphql
• client
• code-generation

Hoare Type Theory

• hoare-logic
• hoare-monads
• separation-logic
• coq

Unit tests generator for Go programming language

• go
• golang
• unit-testing
• generator

Fully auto-generated Common Lisp bindings to Raylib (6.0/5.5) and Raygui (4.0) using claw and cffi-object

Automatic C-bindings generator for the Crystal language

• crystal
• code-generation
• binding-generator

Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]

Generate a ready-to-use Common Lisp project

• common-lisp
• cookiecutter
• lisp

Automatic generation of N-API wrapper from a C++ library

• napi
• n-api
• nodejs
• node-addon-api

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

• baseline
• cli
• legacy-code
• mypy

`llthreads` library rewritten without `LuaNativeObjects` code generator

• lua
• threading
• pthreads
• lua-binding

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs

Common Lisp and CXX interoperation with JIT

• jit
• interoperability
• common-lisp
• cpp17

Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.

• java-bytecode
• invokedynamic
• java
• jvm-bytecode

Load Common Lisp code blocks from Org files

• literate
• programming
• lisp
• org

A collection of classes to give a fluent builder for Streams (Lazy Groovy Generators)

generates luajit ffi bindings from c headers

• ffi
• luajit
• cparser
• binding-generator

A Lexical Analyzer Generator

• lexer
• lex
• lexical-analysis
• common-lisp