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.

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

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

Java 373 28 Updated Oct 6, 2024

为推广RISC-V尽些薄力

SCSS 306 59 Updated Jun 22, 2023

Statistical data visualization in Python

Python 12,462 1,917 Updated Aug 14, 2024

SeaHorn Verification Framework

C 437 129 Updated Sep 4, 2024

A domain specific language to express machine learning workloads.

C++ 1,759 211 Updated Apr 28, 2023

The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux

Assembly 2,242 681 Updated Oct 8, 2024

💭 Gobo: Your social media. Your rules.

JavaScript 108 19 Updated Dec 10, 2022

open source driver project for adreno GPUs

C 204 69 Updated Nov 18, 2016

A Proof-oriented Programming Language

F* 2,679 231 Updated Oct 9, 2024

C Bounded Model Checker

C++ 830 262 Updated Oct 3, 2024

The source code that powers readthedocs.org

Python 8,007 3,580 Updated Oct 8, 2024

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

C++ 944 396 Updated Oct 8, 2024

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,273 720 Updated Oct 8, 2024

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

25,363 3,161 Updated May 4, 2024

Seamless operability between C++11 and Python

C++ 15,593 2,092 Updated Oct 8, 2024

Open standard for machine learning interoperability

Python 17,739 3,657 Updated Oct 9, 2024

UNIX-like reverse engineering framework and command-line toolset

C 20,501 2,989 Updated Oct 9, 2024

The book Distributed systems: for fun and profit

HTML 2,552 248 Updated Nov 20, 2022

An in-memory datalog implementation for OCaml.

Prolog 255 22 Updated Jun 18, 2022

Clspv is a compiler for OpenCL C to Vulkan compute shaders

LLVM 609 88 Updated Sep 30, 2024

Tesseract Open Source OCR Engine (main repository)

C++ 61,454 9,428 Updated Oct 7, 2024

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

C 493 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 7,533 1,549 Updated Oct 7, 2024

(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 776 51 Updated Apr 5, 2021

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

TypeScript 293,908 38,845 Updated Oct 9, 2024

Collection of X20 96 Board Resources

12 4 Updated Nov 2, 2016

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

JavaScript 874 61 Updated Jan 25, 2020

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

C++ 17,293 1,753 Updated Oct 8, 2024

🌺 Minimalist Vim Plugin Manager

Vim Script 34,028 1,928 Updated Jul 9, 2024

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

Vim Script 6,125 485 Updated Aug 5, 2024
Next