Deruago

scip

SCIP - Solving Constraint Integer Programs

z3

The Z3 Theorem Prover

DFP

Fixpoint library for C++17

DSAR

Compile-Time ensured safe arithmetic for C++17

carbon-lang

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

language-server-protocol

Defines a common protocol for language servers.

DVM

Deamer Virtual Machine

CR

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

dcan

Circuit Analysis DSL

DREGX

C++ Regex Fuzzer and Analyzer

jam0002

jam0001

DeamerAlgorithm

Algorithm library for Deamer.

NewPipe

A libre lightweight streaming front-end for Android.

langjam

FGL

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

fuzzingbook

Project page for "The Fuzzing Book"

craftinginterpreters

Repository for the book "Crafting Interpreters"

Celeste

Celeste is a compile-time reflective language.

DeamerDocumentation

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

DeamerExamples

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

DeamerExternal

External library for Deamer CC output.

Qwerty

School project for the automata course.

DeamerStringTemplate

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

DND

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

RobotGuideProject

Repo of the RobotGuide project.

talon_voice_command

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

llvm-project

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

antlr4

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

05AB1E

A concise stack-based golfing language