hcc is a compiler for the HolyC language, a derivative of TempleOS HolyC. It supports both ahead-of-time (AOT) compilation to x86_64 and AArch64 assembly and just-in-time (JIT) compilation for in-memory execution. The system includes a full front-end (lexer, parser, AST, SSA-based IR), optimization passes, register allocation, and backends for x86_64 and AArch64. Additionally, it provides a REPL, a Language Server Protocol (LSP) server, an inline assembler (TempleOS-style), a disassembler, and a control-flow graph visualizer. The standard library is written in HolyC and offers data structures (lists, vectors, hash maps, red-black trees), JSON/CSV parsers, SQLite bindings, networking, threading, coroutines, and system call wrappers. The project is a self-contained, well-structured compiler toolchain with extensive tests and active development.
This repository hosts a Chinese translation of the Software Foundations textbook series, providing an interactive web-based platform for learning formal methods and programming language theory using the Coq proof assistant. The architecture consists of volume-specific directories (LF, PLF, QC, SECF, SLF, VC, VFA) containing Coq source files, generated HTML, and shared interactive components. Key features include in-browser Coq proof checking via jsCoq, proof visibility toggling, bilingual term highlighting, and slide presentation mode. The system relies on external dependencies like jsCoq, jQuery, and jQuery UI for its interactive functionality.
Code Thesaurus is a Django-based web application that serves as a polyglot developer reference, allowing users to compare programming language and database syntax side-by-side. The system reads a curated filesystem-based JSON data store organized by language/version/structure, renders comparison and reference pages via Django templates with syntax highlighting (Pygments), and provides REST API endpoints. It also logs analytics (visits, lookups, missing items) to a relational database. The architecture is a monolithic Django app with a clean separation between data (JSON files), models (abstractions for loading and querying data), views, and middleware. The repository also includes management commands for generating template JSON files and validating the data structure, along with a comprehensive test suite and CI/CD pipelines. While primarily an application, it has a significant data curation component, with the thesaurus JSON files being the core asset that is community-maintained and validated.
Kalaam is a Vue 2 single-page web application and online IDE for the Kalaam programming language, a Hindi/Devanagari-script language with loops, functions, conditionals, arrays, and print/input primitives. The app provides documentation pages, an examples gallery, and a CodeMirror-based practice editor with standard run mode and a line-by-line learning mode. It is a static frontend with no backend; it is configured for SPA hosting via public/_redirects and embeds Google Tag Manager in the HTML entry point. Under the hood the repository ships a complete custom interpreter in src/lib: a scanner classifies source tokens, PushTokens constructs a token array, and Scripts/main.js interprets assignments, conditions, for/while loops, functions, arrays, and print statements against an in-memory variable store. The interpreter is essentially a tree-walking evaluator that relies heavily on JavaScript eval(), uses browser prompt() for user input, and generates Hindi execution-stack explanations for educational output. Notably, the live Practice.vue imports Compile and KalaamKeywords from the external 'kalaam' npm package, while the Jest tests exercise the local src/lib/Compiler/main.js instead, creating a split between the tested compiler and the compiler actually used by the app. The codebase is functional for the bundled examples but shows significant engineering debt: duplicate compiler trees under src/lib/Interpretor(temp), global Array.prototype mutation, dead code, legacy Vue 2/Quasar 1 dependencies, and heavy coupling between interpreter modules. The main reusable value is in the language-tooling pieces, such as the CodeMirror mode, token scanner, and source-normalization utilities. Overall this is best viewed as an educational/experimental language project rather than a cleanly architected production codebase.