Noah Ma's repositories

.spacemacs.d

My spacemacs configuration.

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

ctp

Category Theory in Programming

Language:RacketLicense:MITStargazers:1Issues:0Issues:0

amb

Ambiguous Operator

Language:RacketLicense:MITStargazers:1Issues:0Issues:0

racket

The Racket repository

Language:RacketLicense:NOASSERTIONStargazers:1Issues:0Issues:0

typed-racket

Typed Racket

Language:RacketLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Linux-Install-Steps

Install steps and some initial configs about Ubuntu and Arch.

Language:ShellStargazers:0Issues:0Issues:0
Language:RacketLicense:NOASSERTIONStargazers:0Issues:0Issues:0

racket-pkg-website

A frontend for the Racket Package Catalog.

License:NOASSERTIONStargazers:0Issues:0Issues:0

minicat

Category Theory in Racket

License:MITStargazers:0Issues:0Issues:0

qi

A general-purpose functional DSL.

Language:RacketStargazers:0Issues:0Issues:0

.racket

pkgs for my racket

Language:TeXStargazers:0Issues:0Issues:0

spacemacs-theme

Light and dark theme for spacemacs that supports GUI and terminal

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

ethereum-org-website

Ethereum.org is a primary online resource for the Ethereum community.

License:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

qi-cat

Packages for studying the connections between Qi and Category Theory.

Language:RacketLicense:UnlicenseStargazers:4Issues:0Issues:0

fancy-app

A Scala-style magic function application form

Language:RacketLicense:MITStargazers:0Issues:0Issues:0
Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

racket-mode

Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, and more.

Language:Emacs LispStargazers:0Issues:0Issues:0

ChezScheme

Chez Scheme

Language:SchemeLicense:Apache-2.0Stargazers:0Issues:0Issues:0

vim

my basic vim configs.

Stargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

Essentials-of-Compilation

A book about compiling Racket to x86-64 assembly

Language:TeXStargazers:0Issues:0Issues:0

EOPL

My EOPL solutions.

Language:RacketStargazers:0Issues:0Issues:0

sicp

A SICP language for Racket.

Language:RacketLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

EOC

Some codes and notes for Essential of Compilation.

Language:RacketStargazers:1Issues:0Issues:0

json-lib

JSON module for typed/racket

Language:RacketLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

QQTPVE

This is my Python project named QQTPVE, which adopts the logics and resources of Tencent QQTang. I am a beginner of Python, so my code is messy. I sincerely recommend that you never dig into it, or your soul will be badly polluted, haha!

Stargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0