Comcx

Comcx's repositories

Nona

💻 Experimental Nano with dependent types

Language:Haskell4 2 2

.conf

My configurations of workspace

Language:Emacs Lisp2 20

Agda.study

Agda is fun

Language:Agda2 20

Comcx.github.io

My own website

Language:HTML2 10

Mix

Extended C++ library for FP

Language:C++2 10

Aurora

Experimental OS level Programming Language

Language:C++1 10

awesome-lisp-machine

A curated list of awesome Lisp Machine and Lisp Operating System

1 10

Comcx

Self

100

cs-video-courses

List of Computer Science courses with video lectures.

1 10

CS143-Stanford

My personal records while learning CS143 Compilers of Stanford

Language:C1 10

CSAPP

learning note of CSAPP

Language:Assembly1 10

EnderDragon

Fighting with Ender Dragon

Language:Rust1 20

EStack

stack

Language:Shell1 10

hello-emacs

emacs新手入门资料汇集地

1 10

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION1 10

image

Encoding and decoding images in Rust

Language:RustMIT1 10

imageproc

Image processing operations

Language:RustMIT1 10

Linguistics

Notes on studying various kind of languages

1 20

Lisb

Book list

1 10

martin-lof

papers of Per Martin Löf

100

Math

Play yard of Math experiments

Language:Haskell1 20

MIT6.828

Solutions to homework(HW) and assignments from MIT's 6.828 (Operating Systems Engineering).

Language:C1 10

Neura

Play yard of Neural networks

Language:Python1 20

OpenJDK-Research

OpenJDK(HotSpot JVM、Javac)源代码学习研究(包括代码注释、文档、用于代码分析的测试用例)

Language:C++GPL-2.01 10

plt

λΠ Programming Language Theory

100

PyEnd

Use '#' comment to break through Python indent restrictions!

Language:Scala1 10

Siftor

Siftor the Regular Expression Engine

Language:C++1 10

Sola

Micro computing model

Language:Scala1 10

yew

Rust / Wasm framework for building client web apps

Language:RustApache-2.01 10

rose

ROSE, an OS developed by Rust

Language:Rust010