Discover @pyridine Open Source projects

@pyridine

pyridine

Stars
18
Global Rank 684,145 (Top 24 %)
Followers 1
Following 11
Registered almost 10 years ago
Most used languages

HTML
33.3 %

Scheme
33.3 %

C++
33.3 %

REXSpeeder

C++ library for loading and saving REXPaint files quickly.

LAWRENTIAN

Streamlines the creation of the Lawrentian student newspaper.

JFOL

An Automated Theorem Prover for First-Order Logic (University Senior Project)