This is a staging site. Uploads will not persist. Testing only.
tree-sitter-c-src
C parser for Tree-sitter (source files)
This package contains the generated source files for building the C parser
shared object.
tree-sitter-lua-src
Lua parser for Tree-sitter (source files)
This package contains the generated source files for building the Lua parser
shared object.
elan
tool for managing installations of the Lean theorem prover
elan is a small tool for managing your installations of the Lean theorem
prover. It places lean and leanpkg binaries in your PATH that automatically
select and, if necessary, download the Lean version described in the
lean_version field of your project's leanpkg.toml. You can also install,
select, run, and uninstall Lean versions manually using the commands of the
elan executable.
tree-sitter-vimdoc-src
Vim help file parser for Tree-sitter (source files)
This package contains the generated source files for building the Vim help
file parser shared object.
libocct-foundation-7.6
OCCT module underlying all other OCCT classes
Open CASCADE Technology is a suite for 3D surface and solid modeling,
visualization, data exchange and rapid application development. It is an
excellent platform for development of numerical simulation software including
CAD/CAM/CAE, AEC and GIS, as well as PDM applications.
srcpd
SRCP server daemon to control digital model railroads
The srcpd is a server daemon that enables you to control and play with
a digital model railroad using any SRCP client. Currently it supports many
interface (both self made and commercally) and direct signal generation.