Popular repositories Loading

1. lova lova Public

   Lova: A Framework for Verifying Mathematical Proofs with Nova

   Assembly 7

2. multitok multitok Public

   MultiTok: Variable-Length Tokenization for Efficient LLM Training Adapted from LZW Compression

   Python 1

3. LED_Game LED_Game Public

   Simple and engaging LED game using Arduino Uno

   C++

4. VisualizingCalculus VisualizingCalculus Public

   Visualizing calculus concepts utilizing Python tools.

   Jupyter Notebook

5. Web-Server Web-Server Public

   Developing a single and multi-threaded HTTP Web Server in both C and Rust.

   C