Skip to content
View Rico1900's full-sized avatar
  • Nanjing University
  • Nanjing

Highlights

  • Pro

Block or report Rico1900

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

The P programming language.

C# 3,074 180 Updated Jan 8, 2025

System for collecting, deriving and working with facts about source code.

Hack 1,104 49 Updated Jan 10, 2025

A language for symbolic transitions system, inspired by Ivy.

Python 69 14 Updated Apr 9, 2024

C-Reduce, a C and C++ program reducer

C++ 1,529 128 Updated Jun 1, 2024

Slog 1.0

Scheme 34 1 Updated Jun 11, 2024

CUDA Templates for Linear Algebra Subroutines

C++ 5,984 1,037 Updated Jan 10, 2025

A minimal proof checker.

TypeScript 69 3 Updated Sep 9, 2024

Systems language with linear types and capability-based security.

OCaml 1,150 43 Updated Jun 24, 2024

The universal proxy platform

Go 21,380 2,557 Updated Jan 12, 2025

Hysteria is a powerful, lightning fast and censorship resistant proxy.

Go 15,691 1,730 Updated Jan 4, 2025

A library for building fast, reliable and evolvable network services.

Rust 23,041 1,296 Updated Dec 27, 2024

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Zig 36,360 2,621 Updated Jan 12, 2025

A modern supercompiler for call-by-value functional languages

OCaml 397 8 Updated Jan 6, 2025

A lightweight library for portable low-level GPU computation using WebGPU.

C++ 3,786 177 Updated Dec 29, 2024

A Python framework for high performance GPU simulation and graphics

Python 4,426 253 Updated Jan 10, 2025

Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.

C++ 32 1 Updated Jun 8, 2021

The MaPLe compiler for efficient and scalable parallel functional programming

Standard ML 356 21 Updated Jan 12, 2025

CUDA Core Compute Libraries

C++ 1,380 178 Updated Jan 12, 2025

C++20 [Minimal] Static Perfect Hash library

183 10 Updated Dec 16, 2024

CUDA C library which implements SAT branching heuristics on the GPU.

Cuda 2 Updated Jun 10, 2022

AKShare is an elegant and simple financial data interface library for Python, built for human beings! 开源财经数据接口库

Python 9,999 1,984 Updated Jan 12, 2025

Development repository for the Triton language and compiler

C++ 13,982 1,701 Updated Jan 12, 2025

LLM training in simple, raw C/CUDA

Cuda 25,012 2,850 Updated Oct 2, 2024

CDCL SAT-solver for GPUs

Cuda 11 4 Updated May 5, 2017

A SAT solver in under 300 lines C++

C++ 10 1 Updated Mar 19, 2021

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Rust 27,639 2,534 Updated Jan 12, 2025

Time-sensitive affine types for predictable hardware generation

Scala 138 8 Updated Jul 18, 2024

ARV: Asynchronous RISC-V Go High-level Functional Model

Go 24 4 Updated May 18, 2021

The TARMAC framework for Trigger Activation

Verilog 7 2 Updated Apr 25, 2023

Interpreter for the reversible functional language rFun

Haskell 36 4 Updated Feb 28, 2018
Next
Showing results