Skip to content
View abt8601's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.
  • National Chiao Tung University
  • Taiwan

Block or report abt8601

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 community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!

HTML 317 39 Updated Sep 20, 2024

Transformer Explained Visually: Learn How LLM Transformer Models Work with Interactive Visualization

JavaScript 3,200 286 Updated Oct 15, 2024

A Rust compiler front-end for IDEs

Rust 14,265 1,609 Updated Nov 8, 2024

Recipes for avoiding bounds checks in Rust, without unsafe!

Rust 101 5 Updated Jan 17, 2023

https://www.codingame.com/contests/summer-challenge-2024-olymbits

Smarty 12 10 Updated Jun 17, 2024

A curated list of Rust code and resources.

Rust 46,867 2,761 Updated Nov 6, 2024

Scan your Rust crate for semver violations.

Rust 1,175 75 Updated Nov 7, 2024

Generate Rust register maps (`struct`s) from SVD files

Rust 712 152 Updated Nov 7, 2024

A utility to split autogenerated rust files into human-workable projects with the correct _form_

Rust 34 5 Updated May 5, 2024

Hypothesis-like property testing for Rust

Rust 1,717 160 Updated Nov 2, 2024

❌ Cargo plugin for linting your dependencies 🦀

Rust 1,758 85 Updated Sep 20, 2024

The R9 operating system

Rust 510 17 Updated Oct 25, 2024

CodinGame puzzle search

Svelte 11 2 Updated Sep 12, 2024

🤔 Like GeoGuessr but for code. An open source project quiz.

TypeScript 81 1 Updated Apr 29, 2023

Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices

1,121 177 Updated Oct 13, 2024

xv6 OS

C 7,896 3,943 Updated Aug 13, 2024

Curated list of resources for Embedded and Low-level development in the Rust programming language

6,255 389 Updated Oct 13, 2024

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Haskell 2,712 368 Updated Nov 4, 2024

Empowering everyone to build reliable and efficient software.

Rust 98,277 12,713 Updated Nov 8, 2024

A community-developed version of the original Marble Marcher - a fractal physics game.

C++ 258 20 Updated Sep 13, 2024

A Rust library for random number generation.

Rust 1,667 432 Updated Oct 31, 2024

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

JavaScript 10,355 761 Updated Nov 8, 2024

Your self-hosted, globally interconnected microblogging community

Ruby 47,076 6,970 Updated Nov 8, 2024

x86 C compiler written in untyped lambda calculus

Common Lisp 626 16 Updated Oct 7, 2022

All Algorithms implemented in Rust

Rust 22,819 2,223 Updated Nov 6, 2024

Seamless operability between C++11 and Python

C++ 15,727 2,107 Updated Nov 8, 2024

A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP…

C 35,887 6,419 Updated Nov 8, 2024

Integrates ShellCheck into VS Code, a linter for Shell scripts.

TypeScript 813 45 Updated Jul 22, 2024

The Haskell Tool Stack

Haskell 3,996 843 Updated Oct 24, 2024

Create a 3D city from your GitHub contributions 🏙

JavaScript 1,109 65 Updated Oct 20, 2023
Next