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

Block or report allexandrleb

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

Implementation of a VGA Controller in Verilog (Both Graphics Mode and Text Mode)

Jupyter Notebook 20 3 Updated Jul 30, 2021

A command-line productivity tool powered by AI large language models like GPT-4, will help you accomplish your tasks faster and more efficiently.

Python 10,916 862 Updated Apr 11, 2025

Optical Design Software

C++ 133 22 Updated Jul 14, 2024

Small footprint and configurable PCIe core

Python 549 127 Updated May 26, 2025

Verilog PCI express components

Verilog 1,311 338 Updated Apr 26, 2024

In application debugger for ARM Cortex microcontrollers.

C 3,518 814 Updated May 27, 2025

seL4 specification and proofs

Isabelle 547 110 Updated May 13, 2025

Nix tooling for the seL4 microkernel & ecosystem

Nix 10 1 Updated Apr 22, 2025

⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

Haskell 616 77 Updated May 30, 2025

Mirror of https://gitlab.com/verso-browser/verso

Rust 5,312 167 Updated May 27, 2025

Unified Communication X (mailing list - https://elist.ornl.gov/mailman/listinfo/ucx-group)

C 1,346 462 Updated May 29, 2025

Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, network and protocol interfaces, dynamic data sources, and se…

C 628 69 Updated Feb 4, 2025

Pragmatic microkernel-based OS with fully asynchronous I/O

C++ 1,689 84 Updated May 29, 2025

m3u playlists for radio music, sorted by popularity

HTML 494 70 Updated May 26, 2025

Zyrus STM Tip Etching Machine

C++ 23 2 Updated Jul 15, 2023

DIY scanning tunneling microscope (STM)

Jupyter Notebook 65 10 Updated Aug 2, 2021

PRIMA is a package for solving general nonlinear optimization problems without using derivatives. It provides the reference implementation for Powell's derivative-free optimization methods, i.e., C…

Fortran 352 43 Updated May 3, 2025

F2cl - A Fortran 77 to Common Lisp translator

Fortran 13 Updated Apr 11, 2025

A high performance web crawler / scraper in Elixir.

Elixir 952 90 Updated Jun 19, 2024

Crawly, a high-level web crawling & scraping framework for Elixir.

Elixir 1,024 118 Updated Sep 9, 2024

bridge between mattermost, IRC, gitter, xmpp, slack, discord, telegram, rocketchat, twitch, ssh-chat, zulip, whatsapp, keybase, matrix, microsoft teams, nextcloud, mumble, vk and more with REST API…

Go 6,999 663 Updated Dec 12, 2024

XBraid Parallel-in-Time Solvers

C 78 26 Updated May 15, 2025

United collection of hybrid Central solvers - one-phase, two-phase and multicomponent versions

C++ 111 63 Updated Feb 19, 2025

📈 Financial statements in R

R 255 69 Updated Feb 25, 2017

The official SuiteSparse library: a suite of sparse matrix algorithms authored or co-authored by Tim Davis, Texas A&M University.

C 1,290 282 Updated May 31, 2025

HDL to GDS methodology/framework utility.

VHDL 8 4 Updated Sep 23, 2012

A schematic editor for VLSI/Asic/Analog custom designs, netlist backends for VHDL, Spice and Verilog. The tool is focused on hierarchy and parametric designs, to maximize circuit reuse.

C 381 24 Updated May 30, 2025

Arkouda (αρκούδα): Interactive Data Analytics at Supercomputing Scale 🐻

Python 265 93 Updated May 30, 2025

Chapel HyperGraph Library (CHGL) - HPC-class Hypergraphs in Chapel

Chapel 29 9 Updated Oct 29, 2020
Next
0