Repository Index

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

Directly include C headers in D source code

• translation
• cpp17
• cpp
• clang

A concise and readable language for Firestore security rules, similar to Firebase Bolt.

• firebase-firestore
• haskell
• typescript
• parser-combinators

Lisp to GLSL Language Translator

• lisp
• common-lisp
• compiler
• glsl

The reference implementation of orderly: a schema language for JSON.

[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.

• go
• golang
• type
• struct

transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!

• coffeescript
• bash
• transpiler

A shading language that can be compiled into GLSL ES 3.0

A programming language for generating code for multiple platforms

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

• haxe
• golang
• go
• compiler

Less language is an extension of css and less4j compiles it into regular css. Less adds several dynamic features into css: variables, expressions, nested rules, and so on. Less was designed to be compatible with css and any correct css file is also correct less file.

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

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

Transpile Golang into Arduino code to use fully automated testing at your IoT projects.

• go
• golang
• arduino
• transpiler

יון no BS JS

Japt 1.4.5, the other JavaScript golfing language

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

Improved Go Syntax (transpiler)

• go
• golang

Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.

• go
• html
• jsx
• lsp

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

Transpiling fortran code to golang code

• transpile
• f4go
• fortran
• golang

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

Versatile Go code generator.

• golang
• code-generator
• generics
• conditional-compilation

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