Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View loganchien's full-sized avatar

Block or report loganchien

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

A Simple showcase for the Sea-of-Nodes compiler IR

Java 846 54 Updated Feb 23, 2026

为推广RISC-V尽些薄力

SCSS 312 56 Updated Jun 22, 2023

Statistical data visualization in Python

Python 13,743 2,080 Updated Jan 22, 2026

SeaHorn Verification Framework

C 471 131 Updated May 27, 2025

A domain specific language to express machine learning workloads.

C++ 1,765 214 Updated Apr 28, 2023

The CORE-V CVA6 is a highly configurable, 6-stage RISC-V core for both application and embedded applications. Application class configurations are capable of booting Linux.

Assembly 2,822 889 Updated Feb 25, 2026

💭 Gobo: Your social media. Your rules.

JavaScript 111 17 Updated Dec 10, 2022

open source driver project for adreno GPUs

C 219 71 Updated Nov 18, 2016

A Proof-oriented Programming Language

F* 2,975 250 Updated Feb 24, 2026

C Bounded Model Checker

C++ 1,022 285 Updated Feb 25, 2026

The source code that powers readthedocs.org

Python 8,330 3,703 Updated Feb 26, 2026

Eclipse OMR™ Cross platform components for building reliable, high performance language runtimes

C++ 998 418 Updated Feb 26, 2026

Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with…

Java 3,499 783 Updated Feb 26, 2026

Cheatsheet for the JavaScript knowledge you will frequently encounter in modern projects.

25,690 3,185 Updated Oct 15, 2024

Seamless operability between C++11 and Python

C++ 17,729 2,277 Updated Feb 23, 2026

Open standard for machine learning interoperability

Python 20,393 3,877 Updated Feb 25, 2026

UNIX-like reverse engineering framework and command-line toolset

C 23,156 3,168 Updated Feb 26, 2026

The book Distributed systems: for fun and profit

HTML 2,638 257 Updated Nov 20, 2022

An in-memory datalog implementation for OCaml.

Prolog 276 26 Updated Oct 17, 2024

Clspv is a compiler for OpenCL C to Vulkan compute shaders

LLVM 704 100 Updated Feb 26, 2026

Tesseract Open Source OCR Engine (main repository)

C++ 72,566 10,519 Updated Feb 21, 2026

Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)

C 512 76 Updated May 1, 2021

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…

C 8,563 1,658 Updated Feb 21, 2026

(Un)colored — Next generation desktop rich content editor that saves documents with themes. HTML & Markdown compatible. For Windows, OS X & Linux. — http://n457.github.io/Uncolored/

HTML 777 51 Updated Apr 5, 2021

Interactive roadmaps, guides and other educational content to help developers grow in their careers.

TypeScript 349,804 43,715 Updated Feb 25, 2026

Collection of X20 96 Board Resources

12 4 Updated Nov 2, 2016

📓 Our cool, secure, and offline-first Markdown editor.

JavaScript 870 51 Updated Jan 25, 2020

Simple, secure & standards compliant web server for the most demanding of applications

C++ 18,702 1,843 Updated Feb 20, 2026

🌺 Minimalist Vim Plugin Manager

Vim Script 35,582 1,950 Updated Feb 18, 2026

Vim plugin that displays tags in a window, ordered by scope

Vim Script 6,228 483 Updated Oct 2, 2025
Next