8000
aisk
Follow
Starred repositories
assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!
Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
Override and customize Python packages without touching their code
MiniOB is a compact database that assists developers in understanding the fundamental workings of a database.
Heritrix is the Internet Archive's open-source, extensible, web-scale, archival-quality web crawler project.
Pure python HDFS client: python3.x version
A fast, memory-safe web server written in Rust.
🤗 LeRobot: Making AI for Robotics more accessible with end-to-end learning
An online assembly editor, emulator and debugger for the x86-64 architecture
👀 A modern watch command. Time machine and pager etc.
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
Zipkin tracer in python. Integrated in flask, pyramid, celery, requests, ...
Pretty fancy and modern terminal file manager
Fun, aesthetic, minimalist platform for learning and practicing Japanese online.
A statically typed programming language for scientific computations with first class support for physical dimensions and units
A Mac OS X utility to visualise QuickDraw (PICT) files. It allows exporting to PDF format.
Source code and hardware design for the STM32-based "./watch" OLED digital watch
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
An interactive command-line HTTP and API testing client built on top of HTTPie featuring autocomplete, syntax highlighting, and more. https://twitter.com/httpie
A fast, ergonomic and portable tensor library in Nim with a deep learning focus for CPU, GPU and embedded devices via OpenMP, Cuda and OpenCL backends