Pedagogical first-order prover in Python

The missing iterators for Zig

D Grammar for Tree Sitter

Yahoo finance scraper written in D.

Continuous syntax checking for Emacs. Fork to add max parallel invocations and other bug fixes.

D-language high-level wrapper for GNU MP (GMP) library

stb single-file public domain libraries for C/C++

Process call tree memoization tool using strace. Written in Python 3.

Work with Git forges from the comfort of Magit

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

A compiler-wrapper that runs and caches D programs.

This is yet another attempt to create a good interface to PostgreSQL for the D programming language.

D binding and high-level wrappers for Emacs dynamic modules.

GNU Make with built-in D support.

A tool to compute the next semver for dlang programs

Cross Platform GUI for D programming language

Plotting library for the D programming library. The design is inspired by ggplot2 for R.

A graphics library for D

Benchmarks compilation speeds of different combinations of languages and compilers.

language-specific refactoring in Emacs

A new dlang build tool

OpenWordnet-PT: an open access wordnet for Portuguese

C-Reduce, a C and C++ program reducer

Integrate Clang Static Analyzer with flycheck for on-the-fly static analysis in Emacs

Solarized .style and .outlang files for GNU source-highlight

Easily and securely send things from one computer to another 🐊 📦

Cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.

Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-builder