haskell-what4-utils
Solver-agnostic symbolic values support for issuing queries
What4 is a generic library for representing values as symbolic formulae which
may contain references to symbolic values, representing unknown variables.
It provides support for communicating with a variety of SAT and SMT solvers,
including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal.
The data representation types make heavy use of GADT-style type indices
to ensure type-correct manipulation of symbolic values.
libparted2t64
disk partition manipulator - shared library
GNU Parted is a program that allows you to create, destroy, resize,
move, and copy disk partitions. This is useful for creating space
for new operating systems, reorganizing disk usage, and copying data
to new hard disks.
gccgo-14-mips64-linux-gnuabi64
GNU Go compiler for the mips64-linux-gnuabi64 architecture
This is the GNU Go compiler for the mips64-linux-gnuabi64 architecture, which
compiles Go on platforms supported by the gcc compiler. It uses the gcc
backend to generate optimized code.
gdc-13-mipsisa64r6-linux-gnuabi64
GNU D compiler (version 2) for the mipsisa64r6-linux-gnuabi64 architecture
This is the GNU D compiler for the mipsisa64r6-linux-gnuabi64 architecture,
which compiles D on platforms supported by gcc.
It uses the gcc backend to generate optimised code.
datamodel-codegen
pydantic code generator from OpenAPI and more (command-line tool)
Pydantic model and dataclasses.dataclass generator for easy
conversion of JSON, OpenAPI, JSON Schema, and YAML data sources.