Repository Index

Java type safe statically compiled mustache

• annotation-processor
• java
• mustache
• template-engine

sql-to-mongo-db-query-converter

C To Delphi converter

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

Directly include C headers in D source code

• translation
• cpp17
• cpp
• clang

A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.

• regular-expression
• regexp
• regex
• code-generation

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

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

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

Tomorrow's JavaScript syntax today

Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.

• fabric
• horizon
• minecraft
• neoforge

[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

🌟 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

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

• coffeescript
• bash
• transpiler

Modern CSS to all browsers

• css
• processor
• preprocessor
• compatibility

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

SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)

• spoc
• ocaml
• opencl
• cuda

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.

:ram: Lisp that compiles to JavaScript in the Ramda way

• lisp
• ramda
• functional
• s-expression

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

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

Static scope analysis and transpilation of ES6 block scoped const and let variables to ES3 vars

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

• go
• golang
• arduino
• transpiler