An experiment in extending the command-line interface.
Repository Index
47,133 repositories indexed
73–89 of 89 · Most stars
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
NeuroAnatomy Toolbox: An R package for the (3D) visualisation and analysis of biological image data, especially tracings of single neurons.
- r
- neuroanatomy-toolbox
- cran
- neuron
:art: Image processing toolbox for R
- r
- bioinformatics
- image-processing
- image-analysis
SFS Toolbox for Python
The framework for quantification of neuronal anatomy
- neuroscience
- neuroanatomy-toolbox
- imagej
- imagej2
F# Data-based library for various data access APIs
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
:speedboat: Demo of preact-compat + react-toolbox to reduce build size by 95%.
- preact
- demo
- preact-demos
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
reinfore learning tool box, contains trpo, a3c algorithm for continous action space
EtlKit is a lightweight ETL (extract · transform · load) library and data integration toolbox for .NET. Build your own data pipelines programmatically in C# — readable, testable, and tracked in source control like the rest of your code.
- dotnet
- dotnet-core
- etl
- etl-framework
Automating Ansible role documentation (using argument_specs.yml)
- ansible
- documentation
- pip
- toolbox
Clock generators ( Si5351 for now ) toolbox.
- si5351
- ft232h
- micropython
- esp32
My Essential Tools: List of useful digital tools for everyday use
- essentials
- toolbox
- tools
- webtool
Histology Topography Cytometry Analysis Toolbox
legacy signal processing leveraging afni, ants, fsl, nipy, robex, and wavelet toolbox - brnfswdktm
- fmri-preprocessing
- fmri