BROWSE · DEVELOPMENT
Development
22,646 packages in Development
Lawful algebraic structures in Idris2
codex
Utilities for elaborator reflection in Idris2
codex
Unix style file paths in Idris2
codex
Processing command line options in Idris2
codex
A purely functional programming language with first class types
codex
Language Server for Idris2
codex
LSP Library for Idris2
codex
An Idris2 package manager with curated package collections
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
A package of language independent tools that indexes program identifiers, literal number…
codex
Check internet-drafts for submission nits
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
Interactive GCC real-eval-print loop for C and C++ programmers
codex
A set of CMake modules that are used by the C++-based Gazebo projects.
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
A client library and command line tools for interacting with Gazebo Fuel servers.
codex
A client library and command line tools for interacting with Gazebo Fuel servers.
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
Download .gitignore files for a given language.
codex