Skip to content
View ramiterdos1's full-sized avatar

Block or report ramiterdos1

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Compare and test GPU programming frameworks

C++ 70 6 Updated Mar 12, 2025

An Open Source Machine Learning Framework for Everyone

C++ 188,668 74,595 Updated Mar 16, 2025

A CLI for Kubeflow.

Go 759 183 Updated Mar 14, 2025

A collection of ML scripts to test the M1 Pro MacBook Pro

Jupyter Notebook 169 42 Updated Jun 21, 2023

LIMO: Less is More for Reasoning

Python 840 38 Updated Feb 24, 2025
Jupyter Notebook 412 32 Updated Jul 22, 2024

Apple Silicon Guide. Learn all about the A17 Pro, A16 Bionic, R1, M1-series, M2-series, and M3-series chips. Along with all the Devices, Operating Systems, Tools, Gaming, and Software that Apple Si…

Swift 1,730 100 Updated Jan 4, 2024
HTML 113 15 Updated Jan 27, 2025

Recitation notebooks for Extended Introduction to Computer Science with Python as Tel-Aviv University

Python 1 Updated Sep 23, 2013

OpenVINO™ is an open source toolkit for optimizing and deploying AI inference

C++ 7,985 2,474 Updated Mar 15, 2025
Python 89 6 Updated Sep 30, 2024

symbolic EVM evaluator

Haskell 266 53 Updated Mar 13, 2025

Symbolic execution tool

Python 3,730 477 Updated Sep 15, 2023

macOS system monitor in your menu bar

Swift 29,928 954 Updated Mar 16, 2025

resurrected LLVM "C Backend", with improvements

C++ 891 148 Updated Jan 1, 2025

A valgrind mirror with latest macOS support

C 1,202 62 Updated Mar 16, 2025

erdos szekeres convex polygon problem formalization in Isabelle

Isabelle 1 Updated Mar 16, 2025

Virtual Satellite Core - Baseline Framework and IDE Tools

Java 34 18 Updated Mar 3, 2025

Companion webpage for the book "Bayesian Optimization" by Roman Garnett

HTML 903 46 Updated May 15, 2024

A place to put our 2018 Xena project UROP thoughts and programs.

Lean 25 5 Updated May 27, 2020

Simple samples for TensorRT programming

Python 1,585 344 Updated Mar 12, 2025

A curated list of previous asked Interview Question at Big Companies and Startups 🤲 🏆

1,421 291 Updated Aug 18, 2022

builds a code correcting an arbitrary number of errors

Python 4 Updated Sep 14, 2019

A tool for synthesizing Verilog programs

Verilog 74 7 Updated Mar 14, 2025

C88 is Homebrew CPU that has a ram that is only 8x8 Bits in size. It'll fit on a papilio one 500k which has enough pins for all the switches you need too.

VHDL 18 Updated Jun 1, 2021

ACL2 System and Books as Maintained by the Community

Common Lisp 379 107 Updated Mar 15, 2025

Python package to autocomplete bibtex bibliographies

Python 93 6 Updated Mar 3, 2025

A project to map out the relations between different equational theories of Magmas.

C 307 68 Updated Mar 16, 2025

Open Logic FPGA Standard Library

VHDL 542 56 Updated Mar 12, 2025
Next