☆39Jul 8, 2022Updated 4 years ago
Alternatives and similar repositories for devops-microcosm
Users that are interested in devops-microcosm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic analysis of SpiderMonkey and Firefox bugs on Bugzilla☆11Jul 20, 2026Updated last week
- ☆14Aug 21, 2020Updated 5 years ago
- typed lisp adventure☆17Mar 17, 2013Updated 13 years ago
- ☆12Jun 20, 2017Updated 9 years ago
- JVM Abstracting Abstract Machine☆25Jan 29, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Static analysis of a parallel Scheme☆18Jun 3, 2014Updated 12 years ago
- A curated compilation of national CERT alerts & advisories sources (for cybersecurity).☆14Sep 6, 2019Updated 6 years ago
- ☆26Jan 15, 2021Updated 5 years ago
- Academic Website Template in Bootstrap 4.☆13Nov 28, 2025Updated 8 months ago
- ☆20Mar 20, 2022Updated 4 years ago
- Monitor your domains for newly issued certificates and alert to Slack in near-realtime☆10Aug 29, 2022Updated 3 years ago
- autoscan - automatic fingerprint of visited networks☆11Nov 2, 2013Updated 12 years ago
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 13 years ago
- A bash script to create Eclipse distributions☆18Jan 30, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Watches and analyzes code edits in the Eclipse IDE non-invasively☆20Feb 18, 2014Updated 12 years ago
- Instructions for a container with language non-specific dev tools installed.☆11Sep 28, 2018Updated 7 years ago
- CLP(Set) in miniKanren☆24Oct 21, 2025Updated 9 months ago
- A Java bytecode compiler written in Clojure☆25May 1, 2012Updated 14 years ago
- hexdumper with tcp proxy support☆17May 1, 2017Updated 9 years ago
- A model querying and transformation library supporting JGraLab and EMF☆25Jan 5, 2019Updated 7 years ago
- Keshmesh is a static analysis tool for finding and fixing concurrency bug patterns in Java.☆16Dec 11, 2013Updated 12 years ago
- Interprocedural Static Analysis Engine for Scala☆20Mar 8, 2013Updated 13 years ago
- Microbenchmarking Stream APIs of Java 8, Scala, C#, F#.☆20Dec 16, 2014Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 🧬🌱 Scala Basic Skeleton: Template for bootstrapping your new Scala project following idiomatic best practices powered by Giter 8.☆22Nov 20, 2025Updated 8 months ago
- Docker image for building an NGINX server with Okta for authentication (OIDC)☆18Mar 26, 2019Updated 7 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Jan 23, 2015Updated 11 years ago
- Example Clojure project using boot to make an executable uberjar☆15Dec 22, 2016Updated 9 years ago
- Zone transfers for rwhois☆20Feb 27, 2019Updated 7 years ago
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 4 years ago
- Extensible stream pipelines with object algebras.☆27Apr 30, 2015Updated 11 years ago
- miniKanren in OCaml☆31May 5, 2023Updated 3 years ago
- A POC implementation of muKanren using CSP (core.async)☆31May 2, 2014Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- This project has moved:☆31May 2, 2013Updated 13 years ago
- ☆13Jun 20, 2018Updated 8 years ago
- Back, back, back in time... before there were fancy schmanzy web GUIs... along came SATAN.☆13Jul 10, 2015Updated 11 years ago
- This is a collection of Security Baselines that I use in my virtual lab environment.☆23Mar 11, 2020Updated 6 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆32Jun 14, 2024Updated 2 years ago
- PC-miner tool for program chairs☆30Dec 18, 2025Updated 7 months ago
- DaGit to learn Git Internals☆27Updated this week