Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Repository Index
47,133 repositories indexed
145–168 of 196 · Most stars
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
Versatile Go code generator.
- golang
- code-generator
- generics
- conditional-compilation
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
The completeness of Djula meets the usability of Eco.
Adobe AIR native extension for the Bullet physics simulation library
GoT is a template engine that turns templates into Go code to compile into your app.
- golang
- go
- template-engine
- templates
A modern, template-based, open source data transformation language
A cookiecutter template for Common Lisp videogame projects
- common-lisp
- cookiecutter
- cookiecutter-template
- lisp
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
GCode interpreter and simulator for node.js
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
- cross-platform
- dialog
- file
- filesystem
List manipulation library inspired by Haskell package Data.List
Common tools for projects
- cross-platform
- pascal-language
- library
- json
An interpreter for C flat, a music-based programming language
D bindings for the sokol headers (https://github.com/floooh/sokol)
- bindings
- d
- dlang
- sokol
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Libnotify for Crystal
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.
- elixir-lang
- elixir
- hex
- package
OpenFaaS template for the crystal programming language