Manage your app's Ruby environment

A helm plugin that help manage secrets with Git workflow and store them anywhere

Repair malformed JSON from LLMs, APIs, logs, and user input in Python.

Marks issues and pull requests that have not had recent interaction

Protect your SSH keys with your Mac's Secure Enclave

A static analysis security vulnerability scanner for Ruby on Rails applications

Semantics of C in K

Haskell 101 and 102: slides and codelabs

CMU Undergrad Course

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

The Vampire Theorem Prover

The Z3 Theorem Prover

A front-end for fzf

Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

Python Implementations of Word Sense Disambiguation (WSD) Technologies.

A web-based demonstration of blockchain concepts.

FreeLing project source code

Search back-end for dependency tree search. See the docs at https://fginter.github.io/dep_search/

An open-source, customizable intermediate logic textbook

Community contributions to the Grammatical Framework

VivaceGraph version 3. Open source Common Lisp graph database & Prolog implementation. Supersedes http://github.com/kraison/vivace-graph-v2.

Interset is an interlingua for morphosyntactic tag sets, needed in many tasks in natural language processing.

This Universal Dependencies (UD) Portuguese treebank.

Run AllegroGraph in a Docker container

OWL API main repository