michael-swan

pcf-font

PCF font parsing and rendering library.

imgui-memory-editor-rs

acid_io

Rust I/O for no_std

bazel-toolchain

LLVM toolchain for bazel

CausalCommutativeArrows

A mechanized proof of rewrite rules used for CCA optimization.

common_analysis_base

common_helper_encoder

common_helper_files

common_helper_filter

generate nice structured output

common_helper_mongo

Provides some wrappers for statistic generation and some common gridfs helpers.

common_helper_process

fail-safe process helpers

common_helper_yara

Yara command line wrapper

dear-imgui.hs

Haskell bindings to Dear ImGui, an immediate mode GUI toolkit

differential-datalog

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

dwm

egui

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

FACT_core

Firmware Analysis and Comparison Tool

fact_helper_file

File type helper functions and magic library

imgui

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

imgui-rs

Rust bindings for Dear ImGui

imgui-wgpu-rs

Dear imgui renderer for wgpu-rs.

liberation-1.7-fonts

This is liberation fonts version 1.7 without narrow fonts

markdown.rs

Rust Markdown parsing library

nixpkgs

Nix Packages collection

Pong

renode

Renode - Antmicro's virtual development framework for complex embedded systems

renode-infrastructure

tch-rs

Rust bindings for the C++ api of PyTorch.

tigerbeetle

A distributed financial accounting database designed for mission critical safety and performance to power the future of financial services.

wgpu-erl

Erlang NIF support for WebGPU (i.e. wgpu-native bindings)