wSemis

Pinned Repositories

5260Proj
Language:Python01
addressbook-level1
:ab::one: A Java sample application for students. An AddressBook application written in procedural fashion.
Language:Java00
addressbook-level2
:ab::two: A Java sample application for students. An AddressBook application that uses OOP basics.
Language:Java00
charm
Charm: A Framework for Rapidly Prototyping Cryptosystems
Language:C00
cryptominisat
An advanced SAT solver
Language:C++00
drat-trim
The DRAT-trim proof checker
Language:C00
GSST--anytime-guarenteed-search
Language:Python1 2 01
ims_wsd_emb
Language:Java00
Jade_GUI
Language:C++2 0 01
JTransforms
JTransforms is the first, open source, multithreaded FFT library written in pure Java.
Language:Java0 0 00

wSemis's Repositories

wSemis/Jade_GUI
Language:C++2 0 01
wSemis/GSST--anytime-guarenteed-search
Language:Python1 2 01
wSemis/5260Proj
Language:Python01
wSemis/addressbook-level1
:ab::one: A Java sample application for students. An AddressBook application written in procedural fashion.
Language:Java00
wSemis/addressbook-level2
:ab::two: A Java sample application for students. An AddressBook application that uses OOP basics.
Language:Java00
wSemis/charm
Charm: A Framework for Rapidly Prototyping Cryptosystems
Language:C00
wSemis/cryptominisat
An advanced SAT solver
Language:C++00
wSemis/drat-trim
The DRAT-trim proof checker
Language:C00
wSemis/ims_wsd_emb
Language:Java00
wSemis/JTransforms
JTransforms is the first, open source, multithreaded FFT library written in pure Java.
Language:Java0 0 00
wSemis/main
OurTeeth morphed from :ab::four: Address Book sample application (Level 4)
Language:Java0 0
wSemis/p3dx
wSemis/ResNet50-CIFAR100-with-ColossalAI
Language:Jupyter Notebook
wSemis/SATNet
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
wSemis/word-sense-disambiguation
Incorporating Glosses into Neural Word Sense Disambiguation
Language:Python