Repository Index

Compilation and Verification of Data-Centric Languages

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

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.

PHP port of Less.js

• less
• css
• preprocessor
• php

Use JavaScript to generate JavaScript

• preprocessor
• build-tool
• babel
• webpack

This javascript webapp converts GLSL code from shadertoy.com to Gamemaker GLSL ES as well as output other necessary code to run.

• shadertoy
• gamemaker
• text-processing

Infix notation to S-expression (Polish notation) translator for Common Lisp

• common-lisp
• infix-notation

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

• blockchain
• algorand
• teal
• smartcontract