TranslatedA programming language for the ancient Chinese.
- programming-language
- classical-chinese
- esoteric-language
- wenyan-lang
Repository Index
56,139 visible repositories in the index
1–24 of 27 · Most stars
MJML: the only framework that makes responsive email easy
- mjml
- email-boilerplate
- responsive-email
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
GoGoCode is a transformer for JavaScript/Typescript/HTML based on AST but providing a more intuitive API.
Super-fast alternative to Babel for when you can target modern JS runtimes
An ahead-of-time JavaScript compiler
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library
- dbc
- c
- misra
- automotive
Java type safe statically compiled mustache
- annotation-processor
- java
- mustache
- template-engine
C To Delphi converter
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
🌟 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
Switch case syntax for Svelte ⚡️
A shading language that can be compiled into GLSL ES 3.0
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
Macro based compile-time SCSS transpilation, CSS minification, and class name uniquification toolchain inspired by CSS modules.
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Compile JavaScript to Dart so that you can compile it back to JavaScript and run.
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
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.