edwintorok Goto Github PK

adv360-pro-zmk

Production repository for the all-new Advantage360 Professional using ZMK engine

agkozak-zsh-prompt

A fast, asynchronous Zsh prompt with color ASCII indicators of Git, exit, SSH, virtual environment, and vi mode status. Framework-agnostic and customizable.

alcotest

A lightweight and colourful test framework

analyzer

Static analysis framework for C

autothemer

Conveniently create Emacs themes

backtrace

Helper functions to preserve and transport exception backtraces

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

bechamel

Agnostic benchmark in OCaml (proof-of-concept)

bisect-summary

A simple tool to analyse coverage data created with bisect_ppx

blktap

blktap, vhd stuff

bogue

GUI library for ocaml based on SDL2

catala

Programming language for literate programming law specification

cil

C Intermediate Language

core

Jane Street Capital's standard library overlay

corosync

The Corosync Cluster Engine

dead_code_analyzer

Dead-code analyzer for OCaml

derive-trie

Automatic derivation of Trie implementations.

dev-vm

A dev VM to check our installation steps are OK.

dkml-compiler

OCaml compiler from the DKML distribution

dkml-runtime-common

Common runtime code used in DKML

docx-validator

domainslib

Parallel Programming over Domains

doom-emacs

An Emacs configuration for the stubborn martian vimmer

doom-nvim

A Neovim configuration for the advanced martian hacker

droid-fuzzy-lookup

DroidFuzzyLookup

dune

A composable build system for OCaml.

dune-compiledb

emacs-theme-gruvbox

Gruvbox is a retro groove color scheme for Emacs. Port of the Vim version.

esy-sdl2

Esy-enabled build for SDL2

esy-skia

Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.