CakemlCakeML: A Verified Implementation of ML
Stars: ✭ 651 (+9200%)
SultanSultan: Command and Rule over your Shell
Stars: ✭ 625 (+8828.57%)
BicA C interpreter and API explorer.
Stars: ✭ 719 (+10171.43%)
WirefilterAn execution engine for Wireshark-like filters
Stars: ✭ 677 (+9571.43%)
JurassicA .NET library to parse and execute JavaScript code.
Stars: ✭ 590 (+8328.57%)
Pyret LangThe Pyret language.
Stars: ✭ 771 (+10914.29%)
TvmOpen deep learning compiler stack for cpu, gpu and specialized accelerators
Stars: ✭ 7,494 (+106957.14%)
Rezoom.sqlStatically typechecks a common SQL dialect and translates it to various RDBMS backends
Stars: ✭ 621 (+8771.43%)
Incan incremental approach to compiler construction
Stars: ✭ 702 (+9928.57%)
EsperEsper Complex Event Processing, Streaming SQL and Event Series Analysis
Stars: ✭ 680 (+9614.29%)
LaccA simple, self-hosting C compiler
Stars: ✭ 580 (+8185.71%)
Elm PlatformBundle of all core development tools for Elm
Stars: ✭ 775 (+10971.43%)
AmaccSmall C Compiler generating ELF executable Arm architecture, supporting JIT execution
Stars: ✭ 661 (+9342.86%)
GrinGRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Stars: ✭ 834 (+11814.29%)
LlvmswiftA Swift wrapper for the LLVM C API (version 9.0.1)
Stars: ✭ 641 (+9057.14%)
Vtil CoreVirtual-machine Translation Intermediate Language
Stars: ✭ 738 (+10442.86%)
JaninoJanino is a super-small, super-fast Java™ compiler.
Stars: ✭ 627 (+8857.14%)
RadonA scripting language.
Stars: ✭ 22 (+214.29%)
ClioClio is a functional, parallel, distributed programming language.
Stars: ✭ 555 (+7828.57%)
Open C Book开源书籍:《C语言编程透视》,配套视频课程《360° 剖析 Linux ELF》已上线,视频讲解更为系统和深入,欢迎订阅:https://www.cctalk.com/m/group/88089283
Stars: ✭ 715 (+10114.29%)
FelixThe Felix Programming Language
Stars: ✭ 609 (+8600%)
TypescripttoluaTypescript to lua transpiler. https://typescripttolua.github.io/
Stars: ✭ 783 (+11085.71%)
Packem📦⚡ A precompiled JavaScript module bundler
Stars: ✭ 586 (+8271.43%)
JsclA Lisp-to-Javascript compiler bootstrapped from Common Lisp
Stars: ✭ 688 (+9728.57%)
MltonThe MLton repository
Stars: ✭ 683 (+9657.14%)
NumbaNumPy aware dynamic Python compiler using LLVM
Stars: ✭ 7,090 (+101185.71%)
Tiny CompilerA tiny evaluator and compiler of arithmetic expressions.
Stars: ✭ 680 (+9614.29%)
ModiscriptAcche din aa gaye
Stars: ✭ 888 (+12585.71%)
J2clJava to Closure JavaScript transpiler
Stars: ✭ 773 (+10942.86%)
Gocaml🐫 Practical statically typed functional programming language implementation with Go and LLVM
Stars: ✭ 653 (+9228.57%)
Viper[WIP] A Pythonesque language with a design that focuses on efficiency and expressiveness. Compiles to WebAssembly
Stars: ✭ 23 (+228.57%)
Js of ocamlCompiler from OCaml to Javascript.
Stars: ✭ 643 (+9085.71%)
Caramel🍬 a functional language for building type-safe, scalable, and maintainable applications
Stars: ✭ 756 (+10700%)
Cyclone🌀 A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system capable of generating fast native binaries.
Stars: ✭ 634 (+8957.14%)
PyterminfoA terminfo-to-python cross compiler
Stars: ✭ 5 (-28.57%)
LebabTurn your ES5 code into readable ES6. Lebab does the opposite of what Babel does.
Stars: ✭ 5,479 (+78171.43%)
TlThe compiler for Teal, a typed dialect of Lua
Stars: ✭ 716 (+10128.57%)
Minic HostingA simple stack-based virtual machine that runs C in the browser.
Stars: ✭ 628 (+8871.43%)
OrccOpen RVC-CAL Compiler
Stars: ✭ 26 (+271.43%)
Lyo📦 Node.js to browser - The easy way
Stars: ✭ 624 (+8814.29%)
RingInnovative and practical general-purpose multi-paradigm language
Stars: ✭ 716 (+10128.57%)
Rhine Ml🏞 an OCaml compiler for an untyped lisp
Stars: ✭ 621 (+8771.43%)
Rustc Dev GuideA guide to how rustc works and how to contribute to it.
Stars: ✭ 789 (+11171.43%)
OakcA portable programming language with a compact intermediate representation
Stars: ✭ 617 (+8714.29%)
Csharp.luaThe C# to Lua compiler
Stars: ✭ 712 (+10071.43%)
Venomvenom - shellcode generator/compiler/handler (metasploit)
Stars: ✭ 904 (+12814.29%)
MypycCompile type annotated Python to fast C extensions
Stars: ✭ 575 (+8114.29%)
MarkedA markdown parser and compiler. Built for speed.
Stars: ✭ 26,556 (+379271.43%)
CclClozure Common Lisp
Stars: ✭ 584 (+8242.86%)
TinyccUnofficial mirror of mob development branch
Stars: ✭ 784 (+11100%)
Constexpr 8ccCompile-time C Compiler implemented as C++14 constant expressions
Stars: ✭ 687 (+9714.29%)
LdcThe LLVM-based D Compiler.
Stars: ✭ 937 (+13285.71%)
DiezThe Design Token Framework — Adopt a unified design language across platforms, codebases, and teams
Stars: ✭ 928 (+13157.14%)
GccrsGCC Front-End for Rust
Stars: ✭ 875 (+12400%)
CompilerCompiler for Elm, a functional language for reliable webapps.
Stars: ✭ 6,672 (+95214.29%)
TiramisuA polyhedral compiler for expressing fast and portable data parallel algorithms
Stars: ✭ 685 (+9685.71%)