PhillipVH

symlearn

Learn Symbolic Finite Automata from Java Parsers using Concolic Execution and Active Learning

digitalocean-redis-quickstart

Terraform configuration files and an Ansible playbook to start a single-node Redis cluster on a DigitalOcean Droplet.

json-contact

adversarial-search

alan-format

argocd-example-apps

Example Apps to Demonstrate Argo CD

carmine

Redis client and message queue for Clojure

circle-compose

coastal

Concolic analysis tool for Java

couch-potato

A Google Sheets-backed Python tool for managing your movie library.

cpython

The Python programming language

depot

docs

This repository contains .NET Documentation.

flycheck-clj-kondo

Emacs integration for clj-kondo via flycheck

gf-docker

grammarwriteup

manifold

a compatibility layer for event-driven abstractions

masekind

modtodo

regex-to-automatalib

single-agent-search

symbolicautomata

Library for symbolic automata and symbolic visibly pushdown automata

torrent-watch

trix

A rich text editor for everyday writing

vanilla-coastal