Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
Repository Index
47,133 repositories indexed
241–264 of 377 · Most stars
Gazebo simulation of dynamics environment in warehouses.
Trick Simulation Environment. Trick provides a common set of simulation capabilities and utilities to build simulations automatically.
🥗 Provision, share, manage local and cloud developer environments.
- developer-tools
- cli
- python
- docker
Quickly get started developing clustered Elixir applications for cloud environments.
- elixir
- docker-cloud
- docker
- docker-compose
A modern C++ library for type-safe environment variable parsing
The most sophisticated all-in-one toolkit to work with .env files and environment variables in NeoVim
FsConfig is a F# library for reading configuration data from environment variables and AppSettings with type safety.
- fsharp
- functional-programming
- generic-programming
- environment-variables
SMTP mock server written on Golang. Mimic any 📤 SMTP server behavior for your test environment with fake SMTP server.
- smtp
- smtp-mock
- smtp-server
- smtp-mail
Build RL environments for any domain from real cases that Browser Use agents mine from the web
Lua Multitasking Environment.
Total environment manager for ZSH
- zulu
- zsh
- framework
- plugin-manager
Generates reproducible ruby/bundler app environment with Nix
Standalone implementation of the Chrome DevTools backend to debug arbitrary web environments.
Reverse-engineering tool for docker environments
Containerized Development Environment Manager for embedded development
- containerization
- containers
- devops
- edge
HorneroConfig is a comprehensive dotfiles framework, tailored for seamless customization of diverse window management setups across various operating systems. Just like the skilled hornero bird meticulously shapes its nest, HorneroConfig empowers you to craft a digital environment that's robust, uniquely yours, and beautifully organized!
The agentic pentesting environment that lives on your machine. AI agent teams, visual workflows and your own tools, 100% local.
- ai-agents
- bug-bounty
- electron
- offensive-security
🐍 CLI tool to find and delete unused Python virtual environments (.venv, poetry, conda, pipenv, uv). Reclaim disk space effortlessly — supports bulk delete, size reporting, and pycache cleanup.
- command-line
- developer-tools
- python
- venv
Tag-based environment configuration for structs
Virtual Haskell Environment builder
A lightweight, flexible, and safer alternative to chroot and/or Docker.
- chroot-environment
- chroot
- linux
- namespace
Multi purpose "OnAir Lamp" solution targeted for use in professional broadcast environments
Poco will help you to organise and manage Docker, Docker-Compose, Kubernetes, Openshift projects of any complexity using simple YAML config files to shorten the route from finding your project to initialising it in your local environment.
- docker
- docker-compose
- project-compose
- project-catalog