Generate a ready-to-use Common Lisp project
- common-lisp
- cookiecutter
- lisp
Repository Index
47,133 repositories indexed
121–144 of 194 · Most stars
Automatic generation of N-API wrapper from a C++ library
- napi
- n-api
- nodejs
- node-addon-api
`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
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.
- java-bytecode
- invokedynamic
- java
- jvm-bytecode
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
Simple and performant utilies using Go generics inspired by JavaScript and Python
- golang
- go
- utilities
- generics
Generate Elm types, encoders, and decoders from Haskell types
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Parser generator toolset for Delphi (Yacc & Lex)
Generalized folds, unfolds, and traversals for fixed point data structures
A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.
- lisp
- common-lisp
- generics
- polymorphic-functions
ABNF in, parser out
- abnf
- parsing
- parser-generator
- elixir
Creates a system where users are forced to login in dedicated independent docker containers.
- docker
- docker-image
- virtual-machine
- multiuser
Natural language generation language
- natural-language-generation
- nlg
Generate Yew components from React components via Typescript type definitions
- yew
- proc-macro
- react
- typescript
High performance utility functions using Generics
- filter
- functional
- generics
- go
Auto-generated D bindings for Vulkan
libclang bindings for crystal (including automatic C bindings generator)
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Go 1.18+ polymorphic generic containers and functions.
- go
- golang
- generics