Starred repositories
A web application for studying Ancient Greek texts with integrated lexical, syntactic, and morphological analysis tools.
📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
📝 Solutions of "An Infinitely Large Napkin"
A curated list of awesome functional programming jobs.
🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1247🚀) dependencies🚀
Google谷歌、Wikipedia维基百科、谷歌学术镜像2024最新 新增各种镜像站
Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.
Fixes macOS Preview garbled annotations
A massively parallel, optimal functional runtime in Rust
Computer Assisted Proto-language Reconstruction
A modern Prolog implementation written mostly in Rust.
程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).
Website for the association of linguistics students at the University of Tübingen
LenMus Phonascus is a free open source program (GPL v3) for learning music. It allows you to focus on specific skills and exercises, on both theory and aural training. The different activities can …
程序员延寿指南 | A programmer's guide to live longer
Exemplary real world application built with PureScript + Halogen
Subregular toolkit for language processing
Müller, Stefan et al. (eds): Head-Driven Phrase Structure Grammar: The handbook