Convert Haskell source code to Coq source code.
- coq
- haskell
Repository Index
47,133 repositories indexed
25–45 of 45 · Most stars
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
A codemod-cli project for converting Ember objects to es6 native classes
- codemod
- ember
Generate Elm types, encoders, and decoders from Haskell types
Translates GDScript code to C#
- godot
- godot-engine
- tool
- gdscript
Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code
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
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.
:shaved_ice: Shave some bytes by using Preact.
- preact
- codemod
- jscodeshift
- transpiler
Common Interface to ISO Prolog implementations from Common Lisp
GoT is a template engine that turns templates into Go code to compile into your app.
- golang
- go
- template-engine
- templates
Use JavaScript to generate JavaScript
- preprocessor
- build-tool
- babel
- webpack
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
A Ruby regex script for port ruby code to crystal easier, reduce friction.
ES6 arrow functions compiled to ES5 compliant code.
J2Ada translates a Java valid source code in Ada source code.
An expressive high level language for the Algorand block chain that compiles to TEAL code.
- blockchain
- algorand
- teal
- smartcontract