Skip to content
View zaoqi-unsafe's full-sized avatar

Block or report zaoqi-unsafe

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

依赖于 KUAL 的 Kindle 越狱插件,集合了一些实用工具。

Python 97 8 Updated Dec 6, 2022

Wizards of Lua Mod - Adds the /lua command to the Minecraft game

Java 23 Updated Nov 23, 2025

Rembulan, an implementation of Lua 5.3 for the Java Virtual Machine

Java 9 2 Updated Jun 18, 2026

A prototype successor to Idris

Idris 539 34 Updated Jul 8, 2019

The Arend Proof Assistant

Java 753 31 Updated Feb 25, 2025

Libraries and tools for topological and geometric modeling.

TypeScript 17 2 Updated Mar 23, 2025

Open-source software for volunteer computing and grid computing.

C++ 2,441 517 Updated Jul 26, 2026

You can use setupTermuxArch.bash 📲 to install Arch Linux in Amazon, Android, Chromebook and Windows. https://sdrausty.github.io/TermuxArch/docs/install

Shell 1,654 180 Updated Oct 31, 2022

JavaScript to Lua compiler with runtime library.

JavaScript 381 30 Updated Mar 28, 2017

开放式跨端跨框架解决方案,支持使用 React/Vue 等框架来开发微信/京东/百度/支付宝/字节跳动/ QQ 小程序/H5/React Native 等应用。 https://taro.zone/

TypeScript 37,607 4,886 Updated Jul 24, 2026

wm=awesome kernel=lab126

Shell 2 Updated Jan 29, 2019

awesomeWM/Touchscreen

Lua 7 1 Updated Jan 22, 2019

Expression-Oriented C

C 4 2 Updated Sep 1, 2018

PDF Reader in JavaScript

JavaScript 53,635 10,650 Updated Jul 26, 2026

Lisp-like DSL for Rust language

Rust 438 19 Updated Jun 24, 2023

我的 SICP 解题集

Scheme 879 183 Updated Apr 1, 2022

Factor programming language

Factor 1,839 222 Updated Jul 15, 2026

Kansas Lava

Haskell 49 18 Updated Oct 6, 2019

Clojure Hardware Description Language (compiles down to vhdl)

Clojure 17 2 Updated Nov 27, 2013

a lightweight, robust, scheme-like lisp implementation

Scheme 1,717 124 Updated Feb 26, 2020

Lisp OS running on bare metal x86-64 hardware (WIP)

Common Lisp 590 32 Updated May 11, 2022

A statically typed lisp, without a GC, for real-time applications.

Haskell 5,989 185 Updated Jun 29, 2026

A very minimal, resource efficient exo-kernel

Assembly 915 115 Updated Jun 12, 2026

A community driven list of ClojureScript frameworks, libraries and wrappers.

1,087 61 Updated Mar 10, 2024

Fast library for rendering HTML in Clojure

Clojure 2,850 177 Updated Jun 19, 2025

A minimalistic ClojureScript interface to React.js

Clojure 4,876 412 Updated Jan 23, 2026

Lisp-flavoured C

C++ 1,046 51 Updated Apr 20, 2025

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…

Haskell 464 34 Updated Jul 19, 2025

An idris backend compiling to chez scheme

Haskell 48 3 Updated Sep 30, 2017

A multi-platform kernel written in Rust

Rust 201 14 Updated Sep 6, 2015
Next