Beast code in Giters

feiyuanqiu's repositories

6.824

Implementation for MIT 6.824 Distributed System

Language:Go020

blog

020

eopl3

Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand

Language:SchemeNOASSERTION020

generator

A code generator for MyBatis.

Language:Java010

INTANG

Language:CGPL-3.0020

interpreters

Example interpreters for education purposes

Language:Scheme020

linux

Linux kernel source tree

Language:CNOASSERTION020

maven-checkstyle-plugin

Apache Maven Checkstyle Plugin

Language:Java010

miniKanren

Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.

Language:Scheme020

php-github-api

A simple PHP GitHub API client, Object Oriented, tested and documented. For 5.5+.

Language:PHPMIT020

prowebtype

Language:HTML020

pysonar2

a type inferencer for Python

Language:JavaApache-2.0020

Sami

An API documentation generator

Language:PHPMIT020

spotless

Keep your code spotless

Language:JavaApache-2.0010

vue-beauty

Beautiful UI components build with vue and ant design

Language:JavaScriptMIT020

xml-formatter

XML formatter for use with net.revelc formatter-maven-plugin

Language:JavaEPL-2.0010

yin

the Yin programming language

Language:JavaAGPL-3.0020

yscheme

a compiler from a subset of Scheme into X64

Language:Scheme020