Repository Index

Convert Haskell source code to Coq source code.

• coq
• haskell

Japt 1.4.5, the other JavaScript golfing language

• javascript
• esolang
• golfing-language
• programming-language

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

• aadl
• ada

Improved Go Syntax (transpiler)

• go
• golang

A codemod-cli project for converting Ember objects to es6 native classes

• codemod
• ember

Compilation and Verification of Data-Centric Languages

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

Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code

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

PHP port of Less.js

• less
• css
• preprocessor
• php

Next Generation of Apex Development

• salesforce-apex
• code-generation
• annotation
• transpiler

Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.

• deno
• denoland
• nodejs
• node

Common Interface to ISO Prolog implementations from Common Lisp

Use JavaScript to generate JavaScript

• preprocessor
• build-tool
• babel
• webpack

Chuck Norris Programming Language

• esoteric-language
• chuck-norris
• language
• javascript

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

HTPL is a programming language based on HTML

• programming-language
• htpl-compiler
• html

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

This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.