8000 MagneticMartian / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View MagneticMartian's full-sized avatar

Block or report MagneticMartian

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
Showing results

Source code for a video on computing Fibonacci numbers efficiently

C++ 122 12 Updated Nov 29, 2024

Content for "Understanding the FDTD Method" by John B. Schneider

PostScript 244 71 Updated Jun 22, 2023

An open source high level synthesis (HLS) tool built on top of LLVM

C++ 124 19 Updated Jun 11, 2024

Icarus Verilog

C++ 3,083 558 Updated Jul 1, 2025

The Z3 Theorem Prover

C++ 11,159 1,539 Updated Jul 3, 2025

A mostly object orientated library providing C++ code for physics computations.

C++ 3 Updated Apr 13, 2023

Package desktop applications as AppImages that run on common Linux-based operating systems, such as RHEL, CentOS, openSUSE, SLED, Ubuntu, Fedora, debian and derivatives. Join #AppImage on irc.liber…

C 9,051 573 Updated Jun 9, 2025

🐳 Matrix (An open network for secure, decentralized communication) server setup using Ansible and Docker

Jinja 5,343 1,095 Updated Jul 2, 2025

Ready-to-use SRT / WebRTC / RTSP / RTMP / LL-HLS media server and media proxy that allows to read, publish, proxy, record and playback video and audio streams.

Go 14,971 1,824 Updated Jul 3, 2025

PlayStation 3 emulator and debugger

C++ 17,093 2,070 Updated Jul 3, 2025

Quiz Answers, Assessments, Programming Assignments for the Linear Algebra course.

Python 94 86 Updated Apr 19, 2018

zapcc is a caching C++ compiler based on clang, designed to perform faster compilations

C++ 1,260 62 Updated Jul 21, 2020

Simple expression transformer that is not Coq.

Rust 261 24 Updated Nov 2, 2023

Code samples for my book "Neural Networks and Deep Learning"

Python 16,825 6,837 Updated Jun 2, 2024

A pam module written in C for duress codes in linux authentication

C 149 11 Updated Oct 14, 2020

An efficient lattice-based cryptographic hash function

C 26 14 Updated Oct 18, 2016

C++ containers but in C

C 30 4 Updated Nov 7, 2022

risc-v-myth-workshop-august-Redbeard358 created by GitHub Classroom

Verilog 13 8 Updated Sep 15, 2020

For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.

C 69,862 24,111 Updated Jul 3, 2025

🔒 Trezor Firmware Monorepo

C 1,530 703 Updated Jul 3, 2025

A simple educational linux container runtime.

C 109 20 Updated Feb 8, 2021

LXC - Linux Containers

C 4,909 1,131 Updated Jun 2, 2025

FreeDOS kernel - implements the core MS-DOS/PC-DOS (R) compatible operating system. It is derived from Pat Villani's DOS-C kernel and released under the GPL v2 or later. Please see http://www.freed…

C 902 153 Updated Jun 24, 2025

Open Source Introductory Systems Programming Textbook for the University of Illinois

TeX 731 88 Updated Sep 30, 2024

Resources about manipulating Crash Bandicoot data

35 3 Updated Jan 16, 2025

Crash 1 in C

C 13 2 Updated Jul 22, 2015

Certified Kubernetes Administrator - CKA Course

Shell 9,104 8,581 Updated Jul 3, 2025

Debian Almquist shell

C 11 5 Updated Oct 9, 2013

🍺🐧 The Homebrew package manager for Linux

Ruby 2,657 236 Updated Feb 20, 2019
Next
0