GeeLaw/pure-lambda-calculus-playground

This repository has been archived on 02/Jun/2018
Stars
6
Rank 2,539,965 (Top 51 %)
Language
C++
License
MIT License
Created almost 7 years ago
Updated almost 7 years ago

GeeLaw/pure-lambda-calculus-playground

GeeLaw

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

PowerShellThingies

My PowerShell thingies.

bio-site

Yet another academic homepage builder.

SinaWeiboFansRemover

Sina Weibo 粉丝删除器，一个 Microsoft Edge 扩展。

PreviewHost

An example `IPreviewHandlerFrame` implementation using WPF.

Dock-PS

Archived in favour of PowerShellThingies.

Use-RawPipeline

Archived in favour of PowerShellThingies.

laomian

老面 (sourdough, lit. "old dough") is used as the starter for fermenting dough. This repository contains my digital 老面.

ahbtr

An “open-thoughts” research — Ad Hoc Broadcast, Trace, and Revoke.

newsstand

A list of email addresses of newsletter / social update. One can build their own email categoriser with this list.

AcademicdataBaseChain

Academic dataBase Chain.

psguy.me

Archived in favour of PowerShellThingies.

bibtex-ts

General-purpose format-preserving BibTeX parser in TypeScript (JavaScript).

strcmp.cc

An online line-based file comparator.

daily-restore-point

Creating a restore point every day is a good habit.

onenote-object-model

Unofficial documentation of the component object model API of OneNote.

RemoteShutdown

Remotely shut Windows down in case your Welcome Screen crashes.

haoel-github-io

Mirror of haoel/haoel.github.io.

ReproduceLiveTileIssue

bibtex.net

BibTeX.NET is a .NET library for working with BibTeX files.

twitter-recommendation-algorithm

A mirror of https://github.com/twitter/the-algorithm to keep a license of the AGPL code.