xc42

followers

following

stars

ShenZhen

xc42's starred repositories

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

Language:HaskellNOASSERTION142800

openmlsys-zh

《Machine Learning Systems: Design and Implementation》- Chinese Version

Language:TeX399200

chibicc

A small C compiler

Language:CMIT961700

darwin

Darwin is a static blog generator written in Racket - forked from Frog

Language:Racket1700

gpt_academic

为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, moss等。

Language:PythonGPL-3.06450400

thorin

The Higher-Order Intermediate Representation

Language:C++LGPL-3.015000

plt

λΠ Programming Language Theory

Language:CSS300

hexo-theme-peomas

Peomas is a Hexo theme that can be used for Github pages personal blog

Language:CSSMIT500

awesome-learning-haskell

A collection of resources which were useful to Tweagers for learning Haskell and its various aspects

EOPL-Exercises

My solutions to exercises from the book Essentials of Programming Languages.

Language:Racket3700

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

Language:ANTLRMIT1012100

mogan

Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!

Language:SchemeGPL-3.037600

Mach7

Functional programming style pattern-matching library for C++

Language:C++NOASSERTION127700

llvm-tutor

A collection of out-of-tree LLVM passes for teaching and learning

Language:C++MIT292600

iaito

Official QT frontend of radare2

Language:C++GPL-3.0104700

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaCC-BY-4.0135900

B629-denotational

Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University

Language:TeX7200

eopl

Valuable code and exercises about the book "Essentials of Programming Languages"

Language:Racket100

p423-compiler

A Scheme to x86-64 compiler in Scheme

Language:Scheme7800

awesome-recursion-schemes

Resources for learning and using recursion schemes.

jit-demo

Language:C6300

www

CMSC 430 Design and Implementation of Programming Languages

Language:Racket4500

yscheme

a compiler from a subset of Scheme into X64

Language:Scheme2900

AI-For-Beginners

12 Weeks, 24 Lessons, AI for All!

Language:Jupyter NotebookMIT3430500

pie

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

Language:RacketAGPL-3.069800

scheme-to-llvm

A compiler to compile a simple subset of scheme to LLVM 10

Language:Scheme10800

nanopass-framework-racket

nanopass compiler framework for Racket

Language:RacketMIT18100

nanopass-framework

The new nanopass framework; an embedded DSL for writing compilers in Scheme

Language:SchemeMIT32100

cling

The cling C++ interpreter

Language:C++NOASSERTION347300

recursion-schemes

Generalized bananas, lenses and barbed wire

Language:HaskellNOASSERTION33600