hic: High Integrity Cimple (Hic) inference and lowering

[ data, gpl, library, program ] [ Propose Tags ] [ Report a vulnerability ]

Reverse compiler for Cimple, inferring higher-level constructs from C-like code.

Modules

[Index] [Quick Jump]

Language
- Cimple
  - Analysis
  - Language.Cimple.Hic

Downloads

hic-0.0.0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

iphydf

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.0.0.1
Dependencies	aeson, base (<5), bytestring, cimple (>=0.0.28), containers, data-fix, groom, hashable, hic, mtl, optparse-applicative, prettyprinter, prettyprinter-ansi-terminal, process, QuickCheck, text, transformers-compat [details]
License	GPL-3.0-only
Copyright	Copyright (c) 2016-2026, Iphigenia Df
Author	Iphigenia Df <iphydf@gmail.com>
Maintainer	Iphigenia Df <iphydf@gmail.com>
Uploaded	by iphydf at 2026-01-14T15:11:03Z
Category	Data
Home page	https://toktok.github.io/
Distributions
Executables	hic-check
Downloads	0 total (0 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet]