types-and-programming-languagesC++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
Stars: ✭ 32 (-57.89%)
tiny-langtiny-lang — A different programming language. Supports a bunch of spoken languages.
Stars: ✭ 26 (-65.79%)
compiler-course-unipiLab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI
Stars: ✭ 18 (-76.32%)
kolasuKotlin Language Support – AST Library
Stars: ✭ 45 (-40.79%)
CpplinksBeing a part of a few C++ communities, I happen to run across some interesting links -- this is an attempt to categorize them. Thanks to Saurabh Malpani from "C++ Enthusiasts" for the suggestion.
Stars: ✭ 2,935 (+3761.84%)
Dataformsjs🌟 DataFormsJS 🌟 A minimal JavaScript Framework and standalone React and Web Components for rapid development of high quality websites and single page applications.
Stars: ✭ 95 (+25%)
Optviewer DemoDemonstration of LLVM's opt-viewer tool
Stars: ✭ 63 (-17.11%)
VerilatorVerilator open-source SystemVerilog simulator and lint system
Stars: ✭ 645 (+748.68%)
JlangJLang: Ahead-of-time compilation of Java programs to LLVM
Stars: ✭ 186 (+144.74%)
Build EssentialDevelopment repository for build-essential Chef Cookbook
Stars: ✭ 118 (+55.26%)
go-recipes🦩 Tools for Go projects
Stars: ✭ 2,490 (+3176.32%)
Scalaz PluginA compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.
Stars: ✭ 76 (+0%)
AwesomeCompilerThe Big list of the github, open-source compilers.
Stars: ✭ 27 (-64.47%)
Llvm TutorA collection of out-of-tree LLVM passes for teaching and learning
Stars: ✭ 941 (+1138.16%)
saiStaged Abstract Interpreters
Stars: ✭ 58 (-23.68%)
PytketPython module for interfacing with the CQC t|ket> library of quantum software
Stars: ✭ 162 (+113.16%)
LibfsmDFA regular expression library & friends
Stars: ✭ 512 (+573.68%)
Simd VisualiserA tool to graphically visualize SIMD code
Stars: ✭ 459 (+503.95%)
Como Lang Ngcomo-lang-ng is now ana-lang, located at https://github.com/analang/ana
Stars: ✭ 342 (+350%)
qcorC++ compiler for heterogeneous quantum-classical computing built on Clang and XACC
Stars: ✭ 78 (+2.63%)
DuetA tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
Stars: ✭ 155 (+103.95%)
HellscapeGIMPLE obfuscator for C, C++, Go, ... all supported GCC targets and front-ends that use GIMPLE.
Stars: ✭ 298 (+292.11%)
OneOneLang: The One System Programming Language. (release as soon)
Stars: ✭ 120 (+57.89%)
suicideLLVM pass that detects one undefined behavior, and emits code to delete your hard drive
Stars: ✭ 33 (-56.58%)
DevitoCode generation framework for automated finite difference computation
Stars: ✭ 285 (+275%)
Meta ClangClang C/C++ cross compiler and runtime for OpenEmbedded/Yocto Project
Stars: ✭ 76 (+0%)
NeverNever: statically typed, embeddable functional programming language.
Stars: ✭ 248 (+226.32%)
build-anywhereScripts for building compilers that run anywhere, which build things that run anywhere
Stars: ✭ 72 (-5.26%)
EnvsComponent development environments for the Bit community
Stars: ✭ 58 (-23.68%)
Cs6120advanced compilers
Stars: ✭ 232 (+205.26%)
SdcIntel® Scalable Dataframe Compiler for Pandas*
Stars: ✭ 623 (+719.74%)
BoltBolt is a language with in-built data-race freedom!
Stars: ✭ 215 (+182.89%)
WgtccA small C11 compiler
Stars: ✭ 580 (+663.16%)
BinaryenCompiler infrastructure and toolchain library for WebAssembly
Stars: ✭ 5,294 (+6865.79%)
WaforthA bootstrapping dynamic Forth Interpreter/Compiler for WebAssembly
Stars: ✭ 176 (+131.58%)
Micro MittenYou might not need your garbage collector
Stars: ✭ 470 (+518.42%)
jetA Fast C and Python like Programming Language that puts the Developer first. WIP
Stars: ✭ 41 (-46.05%)
Docs📖 Documentation for Windi CSS
Stars: ✭ 145 (+90.79%)
KgtBNF wrangling and railroad diagrams
Stars: ✭ 312 (+310.53%)
Vscode Deploy ReloadedRecoded version of Visual Studio Code extension 'vs-deploy', which provides commands to deploy files to one or more destinations.
Stars: ✭ 129 (+69.74%)
real-world-idrisMalfunction backend for Idris with a FFI to OCaml
Stars: ✭ 26 (-65.79%)
You Dont Know X🙈 curated list of inspiring resources which show you don't know that much about something you thought you knew.
Stars: ✭ 139 (+82.89%)
CompilingtheoryMy course design for compiler theory (Visualization).
Stars: ✭ 257 (+238.16%)
Decaf-CompilerCompiler for Decaf Programming Language
Stars: ✭ 36 (-52.63%)
cs-resourcesCurated Computer Science and Programming Resource Guide
Stars: ✭ 42 (-44.74%)
Es6console🔮 Play with ECMAScript compilers
Stars: ✭ 128 (+68.42%)
saveUniversal test framework for cli tools [mainly for code analyzers and compilers]
Stars: ✭ 33 (-56.58%)
wasm-scriptCompile WebAssembly in your HTML
Stars: ✭ 28 (-63.16%)
Fortran-ToolsFortran compilers, preprocessors, static analyzers, transpilers, IDEs, build systems, etc.
Stars: ✭ 31 (-59.21%)