639 Open source projects that are alternatives of or similar to Whileycompiler

The Flint Programming Language for Smart Contracts

The Disco Discus Compiler

The Lioness Programming Language

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

A Compiler for the Popr Language

A lightweight, elegant scripting language with built-in Rust-FFI.

A book about LLVM & Clang（中文开源书：玩转 LLVM）

✅ A Go library for email verification without sending any emails.

NNgen: A Fully-Customizable Hardware Synthesis Compiler for Deep Neural Network

Khronos-reference front end for GLSL/ESSL, partial front end for HLSL, and a SPIR-V generator.

🔬 a C++ compiler middle-end, using an LLVM backend

A reproduction of the Core War game. Assembly compiler, Virtual Machine and GUI.

Let's Build a Compiler by Jack Crenshaw translated to Swift Playgrounds

return an md5sum of a given file

QuickJS是一个小型并且可嵌入的Javascript引擎，它支持ES2020规范，包括模块，异步生成器和代理器。

Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation

immudb - world’s fastest immutable database, built on a zero trust model

Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners

C compiler toolchain in Rust. [WIP, early development stage]

Homepage Theorem Proving in Lean FAQ

SystemVerilog compiler and language services

Utility class to compile java source code in memory

Example project from my talks in the LLVM Social Berlin and C++ User Group

A TypeScript-like language for WebAssembly.

Intel SPMD Program Compiler

A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)

编译原理词法分析器&语法分析器LR(1)实现 C++

Eval is a lightweight interpreter framework written in Swift, evaluating expressions at runtime

WebAssembly compiler implemented in Go

Compile and execute C "scripts" in one go!

A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites

C# to C++ transpiler (Cs2Cpp) (Powered by Roslyn)

Compile ruby functions to C

A generic post-processing injector for games and video software.

A Kotlin compiler plugin that generates redacted toString() implementations.

TLA+ language support for Visual Studio Code

Compile high-level code into Minecraft commands

A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose).

Software Quality Wiki

Generate Erlang VM byte code from Haskell

snapdragon is an extremely pluggable, powerful and easy-to-use parser-renderer factory.

A repository for ebooks， including C, C plus plus, Linux Kernel, Compiler, OS, Algorithm, Security, Database, Network, ML and DL

Discover what languages can be compiled to Web Assembly

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

Laravel 2-Step verification is a package to add 2-Step user authentication to any Laravel project easily. It is configurable and customizable. It uses notifications to send the user an email with a 4-digit verification code. Laravel 2-Step Authentication Verification for Laravel. Can be used in out the box with Laravel's authentication scaffolding or integrated into other projects.

🌳 A tiny language interpreter implemented purely in TypeScript's type-system

On-device Neural Engine

a slightly higher-level language superset of webassembly

A simple virtual machine - compiler & interpreter - written in golang

Haskell in S-expression

ELENA is a general-purpose language with late binding. It is multi-paradigm, combining features of functional and object-oriented programming. Rich set of tools are provided to deal with message dispatching : multi-methods, message qualifying, generic message handlers, run-time interfaces

swc is a super-fast compiler written in rust; producing widely-supported javascript from modern standards and typescript.

🛡️⚔️ Protect your web app from DDOS attack or the Dead Ping + CAPTCHA VERIFICATION in one line!

GLSL parser for Rust

Collection of Verification Tasks

Lisp to GLSL Language Translator

User Guides For those new to the LLVM system.(LLVM系统的新用户指南,中文翻译版)

Compiler for the C3 language

A Proof-oriented Programming Language