Generate npm/yarn install scripts from package.json
A propositional logic library written in Typescript
Programming language colors according to GitHub.
A Yeoman generator for AngularJS + Chinook
A lightweight, async HTTP router for Rust with middleware support
Symbolic logic unification using Most General Unifiers (MGU). Implements Meredith's condensed detachment for exploring automated proof discovery.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.