Deruago

Deruago's Stars

• carbon-language/carbon-lang

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

  Language:C++32.3k3836031.5k

• TeamNewPipe/NewPipe

  A libre lightweight streaming front-end for Android.

  Language:Java31.5k6049k3.1k

• llvm/llvm-project

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

  Language:LLVM28.8k58677.4k11.9k

• antlr/antlr4

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

  Language:Java17.2k3712.3k3.3k

• microsoft/language-server-protocol

  Defines a common protocol for language servers.

  Language:HTML11.2k2631.1k798

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.3k1815.5k1.5k

• munificent/craftinginterpreters

  Repository for the book "Crafting Interpreters"

  Language:HTML9k1678711.1k

• dlang/dmd

  dmd D Programming Language compiler

  Language:D3k1580608

• uds-se/fuzzingbook

  Project page for "The Fuzzing Book"

  Language:Jupyter Notebook1.1k42101231

• langjam/langjam

  1k981531

• scipopt/scip

  SCIP - Solving Constraint Integer Programs

  Language:C403129864

• langjam/jam0001

  Language:JavaScript269795141

• langjam/jam0002

  Language:C++382128

• Deruago/CR

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

  Language:C++2100

• Deruago/DeamerExamples

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

  Language:C++2100

• Deruago/DND

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

  2200

• deamer-lang/Celeste

  Celeste is a compile-time reflective language.

  Language:C++1100

• Deruago/dcan

  Circuit Analysis DSL

  Language:C++1100

• Deruago/DeamerAlgorithm

  Algorithm library for Deamer.

  Language:C++10

• Deruago/DeamerDocumentation

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

  110

• Deruago/DeamerExternal

  External library for Deamer CC output.

  Language:CMake110

• Deruago/DeamerStringTemplate

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

  Language:C++1100

• Deruago/DFP

  Fixpoint library for C++17

  Language:C++110

• Deruago/DREGX

  C++ Regex Fuzzer and Analyzer

  Language:C++1100

• Deruago/DSAR

  Compile-Time ensured safe arithmetic for C++17

  Language:C++110

• Deruago/DVM

  Deamer Virtual Machine

  Language:CMake110

• Deruago/FGL

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

  Language:C++110

• Deruago/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.

  Language:Python110

• qwerty-project/Qwerty

  School project for the automata course.

  Language:Java10

• RobotGuide/RobotGuideProject

  Repo of the RobotGuide project.

  Language:C++110