Modular visual interface for GDB in Python

Formal specification of the Haskell Language Report

New version checker for software releases

Lilac is the build bot for archlinuxcn

Haskell implemented with combinators

Bear is a tool that generates a compilation database for clang tooling.

Distribute hackage packages to archlinux

loxomotive - A Lox Interpreter implemented in Haskell

General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation with pip. Main repository, containing Sage library (src/), modu…

CN separation logic refinement type system for C

一个用于提供中文支持的 Typst 基础包。是 Project CTypst 的一部分。

Haskell bindings to the Java Native Interface

ZhiyiSerif（致一宋體/致一明朝/치일명조），基于IPA明朝的個人字形改版，力使字理直觀、優化、可分，字形通行、美觀、可認

framebuffer user interface

High performance UI layout library in C.

A small C compiler

moved from https://sourceforge.net/p/min-caml/code/

HawkinsDB is our take on giving AI systems a more human-like way to store and recall information, inspired by how our own brains work. Based on Jeff Hawkins' Thousand Brains Theory

PDFio is a simple C library for reading and writing PDF files.

libharu - free PDF library

microMathematics Plus - Extended visual calculator

OpenType sans-serif math font

Cross-platform lib for process and system monitoring in Python

A Python library to interact with the Termux:GUI plugin

Awesome hilarious github repositories

Transparent implementation of Zygisk.

Patch to download any filetype, browse any protocol, and change search engine

An Android RSS reader presented in Material You style.

SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.

傳承字形標準化文件