Skip to content
View jianw's full-sized avatar

Organizations

@demtech

Block or report jianw

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

“连续八年成为全世界最受喜爱的语言,无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容,这可能是目前最用心的 Rust 中文学习教程 / Book

Rust 26,844 2,336 Updated Jan 9, 2025

🦀 Small exercises to get you used to reading and writing Rust code!

Rust 56,569 10,437 Updated Feb 25, 2025

A Chrome extension helping users access their web services while traveling outside mainland China

JavaScript 3,175 650 Updated Apr 4, 2024

A typeface designed for source code

Shell 16,668 620 Updated Nov 21, 2022

Skeletons and Tests - Programming Mobile Applications for Android Handheld Systems

Java 354 1,544 Updated Feb 18, 2019

Source Code for Android Course Example Applications

Java 4,276 5,286 Updated Oct 4, 2020

Tutorial on integrating C++ and Haskell

C++ 88 11 Updated Jun 17, 2020

A little bit about a linux kernel

Python 30,368 3,383 Updated Nov 23, 2024

The http://bash.academy website

HTML 1,030 122 Updated Dec 31, 2022

Surf the internet in Sicentific Method

Shell 53 9 Updated Dec 4, 2016

Summer school on programming in Agda

Agda 68 15 Updated Aug 1, 2023

Development of homotopy type theory in Agda

Agda 422 59 Updated Feb 19, 2019

[NOT MAINTAINED] This script creates a NATed or Bridged WiFi Access Point.

Shell 4,463 1,009 Updated Dec 13, 2023

A demo implementation of a simple dependently-typed language

Haskell 589 91 Updated Nov 18, 2024

A textbook on informal homotopy type theory

TeX 2,055 361 Updated Jun 17, 2024

A collection of useful .gitignore templates

164,657 83,123 Updated Feb 25, 2025
Standard ML 59 5 Updated Jun 24, 2019

ANTLR PL/SQL 11g parser

GAP 200 83 Updated Feb 17, 2021

Library classes for the Twelf Proof System

SWIG 21 1 Updated Jun 16, 2020
Showing results