BROWSE · DEVELOPMENT
Libraries
11,003 packages in Libraries
Utilities for elaborator reflection in Idris2
codex
Unix style file paths in Idris2
codex
Processing command line options in Idris2
codex
LSP Library for Idris2
codex
Various total parsers for Idris2
codex
Total lexer and parser for Idris2
codex
Bernarnt style pretty-printer for Idris2
codex
Refinedment types for Idris2
codex
Generic representation of data types as sums of products
codex
A TOML parser for Idris 2
codex
IDS peak is a modern, free software development kit for all USB3 Vision and GigE Vision …
codex
Open source IFC library and geometry engine. Provides static libraries, python3 wrapper …
codex
Open source IFC library and geometry engine. Provides static libraries, python3 wrapper …
codex
Provides a set of libraries that cover many different use cases.
codex
Provides a set of libraries that cover many different use cases.
codex
General purpose math library for robot applications.
codex
Messages for Gazebo robot simulation.
codex
Transport library for component communication based on publication/subscription and serv…
codex
Transport library for component communication based on publication/subscription and serv…
codex
A library for creating and manipulating (un)directed graphs
codex
a DSP IIR realtime filter library written in C++
codex
DSP IIR Realtime C++ filter library
codex
a library which implements a protocol for transmission of raster page images
codex
A C++ and python library of 2D and 3D vector, matrix, and math operations for computer g…
codex
Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies.
codex
Library which allows you to use ImGui with SFML
codex
C Library of integer matrix algorithms
codex
Library that does image file loading and saving as well as rendering, manipulation, arbi…
codex
Postmodern immutable and persistent data structures for C++
codex
linux port of OpenBSD imsg utilities
codex