dmd D Programming Language compiler

SCIP - Solving Constraint Integer Programs

The Z3 Theorem Prover

Fixpoint library for C++17

Compile-Time ensured safe arithmetic for C++17

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Defines a common protocol for language servers.

Deamer Virtual Machine

True Compile Time Reflection for C++17. Generate Types, Functions, introspect them, and much more!

Circuit Analysis DSL

C++ Regex Fuzzer and Analyzer

Algorithm library for Deamer.

A libre lightweight streaming front-end for Android.

Flavoring Generation Library, is a library and language used to implement Flavorings.

Project page for "The Fuzzing Book"

Repository for the book "Crafting Interpreters"

Celeste is a compile-time reflective language.

This repo contains documentation about all the various Deamer repo's.

This is the example repo of Deamer Project. This repo contains: examples, tutorials, and projects.

External library for Deamer CC output.

School project for the automata course.

This is a language, used to parse string templates. You can then modify the templates in c++, to generate code.

Deamer Natural Deduction, is a language used to natural deduce abstract propositions.

Repo of the RobotGuide project.

This is my up to date variant of voice commands for talon. It contains a subset of the knausj voice command set.

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.