ProjectDimlight

ProjectDimlight's starred repositories

wenyan

文言文編程語言 A programming language for the ancient Chinese.

Language:TypeScriptMIT19586 249 497

mirai

高效率 QQ 机器人支持库

Language:KotlinAGPL-3.014408 136 1978

fsharp

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

Language:F#MIT3888 185 6267

INTANG

Language:CGPL-3.02858 190 37

restclient-cpp

C++ client for making HTTP/REST requests

Language:C++MIT1560 87 124

asteria

The Asteria Programming Language

Language:C++BSD-3-Clause403 22 71

mcfgthread

Cornerstone of the MOST efficient std::thread on Windows for mingw-w64

Language:CNOASSERTION272 20 66

nscscc-wiki

NSCSCC 信息整合

217 8 1

difuzz-rtl

Language:VerilogBSD-3-Clause72 40

RSA2048

Language:C70 1 7

RuCalculus

入墨答Rumbda, the Chinese expression of lambda calculus

Language:HaskellApache-2.065 2 3

ZJU-CS-3_1

Course materials in junior year

Language:Java60 3 1

yuyan

豫言

Language:Standard MLAGPL-3.027 1 36

SANDP

Seminar 2016

25 14 1

SOL-s-Verilog-Cheatsheet-for-Not-So-Beginners

Apache-2.022 20

norem-draft-2

A modern functional programming language with effect system.

Language:RustApache-2.019 20

The-Art-Of-Giving-Answers

Apache-2.014 10

Reports

14 100

Cement

The Compiler-oriented programming language

Language:RustMIT7 1 1

People-s-Language

Language:RacketNOASSERTION5 10

norem-lang

A functional programming language with imperative features. "Norem" stands for "Not Really Monadic".

Language:RustApache-2.04 10

pneumatic

[WIP] Web OS.

Language:TypeScriptApache-2.04 2 1

HowToCook

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Chinese).

Language:JavaScriptUnlicense300

ying_long

This is a Digital Circuits Logic description language

Language:RustGPL-3.02 10