-
minisat Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
C++ Other UpdatedFeb 19, 2025 -
YouCompleteMe Public
Forked from ycm-core/YouCompleteMeA code-completion engine for Vim (forked to tweak)
Python GNU General Public License v3.0 UpdatedNov 20, 2024 -
ycmd Public
Forked from ycm-core/ycmdA code-completion & code-comprehension server (forked to tweak)
C++ GNU General Public License v3.0 UpdatedNov 20, 2024 -
pavo_tower_defense Public
CS467 "Pavo" team capstone project repository - Tim Dufala, Brad Beise, Jigar Gor
-