-
-
-
qc-apply Public
Forked from qcitizen/qc-apply"Every journey starts with a single step: now in an easy-to-use, Quick Exercise format". (i.e. this is the first step of our hiring process) - QC
Python UpdatedJun 26, 2024 -
LLM inference is a computationally intensive task, and optimizing its performance on commodity grade hardware will be important for running inference on existing edge devices. This repository curre…
UpdatedJun 3, 2024 -
ece459 Public
Forked from jzarnett/ece459ECE 459: Programming for Performance
TeX UpdatedApr 19, 2024 -
rust-tutorial Public
Repo for following along the tutorials on the rust-book (https://doc.rust-lang.org/stable/book/)
Rust UpdatedOct 10, 2023 -
sales-query-chatbot Public
A chatbot that can answer financial queries such as gross profit, sales per squarefoot, store performance, etc. by processing retail sales data spreadsheets. Filters on data include location, time,…
Python UpdatedJan 11, 2023 -
move Public
Forked from move-language/move* Adding a rapid backend for automatically proving loops
Rust Apache License 2.0 UpdatedNov 29, 2022 -
rapid Public
Forked from gleiss/rapidSoftware Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.
C++ UpdatedAug 15, 2022 -
TernaryResearch Public
A Research project on the viability of Ternary Computing as an alternative to Binary Computing.
UpdatedMar 1, 2021 -
May-Week-Scheduler Public
The Python program automates the scheduling of "May Week" at Dubai American Academy.
UpdatedMay 30, 2020
{{ message }}