A Verified Compiler for Gallina, Written in Gallina
- coq
- gallina
- compiler
- formal-verification
Repository Index
82,088 visible repositories in the index
97–120 of 133 · Most stars
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
Tool for translation type comments to type annotations in Python
- annotations
- python-3-6
- source-to-source
- type-hints
A shading language that can be compiled into GLSL ES 3.0
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.
Python LESS compiler
: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
Macro based compile-time SCSS transpilation, CSS minification, and class name uniquification toolchain inspired by CSS modules.
Improved Go Syntax (transpiler)
- go
- golang
A Javascript to PICO-8 Lua transpiler
- javascript
- pico-8
- lua
- transpiler
Compile JavaScript to Dart so that you can compile it back to JavaScript and run.
Less CSS compiler written in Java
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.
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.
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Versatile Go code generator.
- golang
- code-generator
- generics
- conditional-compilation
PHP port of Less.js