Manage your app's Ruby environment

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

A python module to repair invalid JSON from LLMs

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