Repository Index

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

• sql
• compiler
• typechecker
• sqlite

CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library

• dbc
• c
• misra
• automotive

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

Common Lisp to JavaScript compiler

Lisp to GLSL Language Translator

• lisp
• common-lisp
• compiler
• glsl

🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.

• javascript-framework
• react-components
• web-components
• dataformsjs

A Verified Compiler for Gallina, Written in Gallina

• coq
• gallina
• compiler
• formal-verification

Import Go libraries in your Haxe projects Go -> Haxe source-to-source compiler

• haxe
• golang
• go
• compiler

Python LESS compiler

• python
• css
• less
• ply

FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch

• programming-language
• windows
• scripting-language
• compiler

Less CSS compiler written in Java

Compilation and Verification of Data-Centric Languages

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

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

• compiler
• go
• golang
• graphics

Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.

• c
• cicili
• compiler
• lisp

CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.

A compiler for an Ada-like language

A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe

Racket to JavaScript Compiler

HTPL is a programming language based on HTML

• programming-language
• htpl-compiler
• html

A Parenscript to Javascript command line compiler and interpreter.

An expressive high level language for the Algorand block chain that compiles to TEAL code.

• blockchain
• algorand
• teal
• smartcontract