Popular repositories Loading

1. ToSolveSAT_UsingzChaff ToSolveSAT_UsingzChaff Public

   A netlist to CNF parser and a tool to run zChaff through Windows command line to solve SAT, implemented in C#.

   C# 2

2. Lookup-Table Lookup-Table Public

   Lookup tables in Verilog for waveforms including sine, triangle, and sawtooth.

   Verilog 1

3. Sorting Sorting Public

   Quicksort in Java

   Java

4. LeetCode LeetCode Public

   Solutions for LeetCode OJ

   C++

5. Exercises Exercises Public

   Some exercises

6. SocketCommunication SocketCommunication Public

   Socket Communication in C

   C