overlogged

electronic-wechat

:speech_balloon: A better WeChat on macOS and Linux. Built with Electron by Zhongyi Tong.

Learning-SICP

MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。

awesome-compilers

:sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

Idris-dev

A Dependently Typed Functional Programming Language

cherrytree

cherrytree

macropy

Macros in Python: quasiquotes, case classes, LINQ and more!

plzoo

Programming Languages Zoo

MOTHBALLED-graphviz

Moved to https://gitlab.com/graphviz/graphviz

haskell-vim-now

One-line Haskell Vim install

metapensiero.pj

Javascript for refined palates: a Python 3 to ES6 Javascript translator

GraphvizAnim

A tool to create animated graph visualizations, based on graphviz.

software-foundations

Software Foundations in Idris

linear

Low-dimensional linear algebra primitives for Haskell.

rpp

RPP is a new programming language combined with C++ and LISP

uaiso

A multi-language parsing infrastructure with an unified AST

haskell-from-python

Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)

idris-codegen-es

Optimized JS codegen for Idris

idris-emptycg

An empty code generator, to be used as a starting point for any new back ends.

algebraic_data_type

Coq_code

6161_final

Karger Klien Tarjan Expected Linear Time Minimum Spanning Tree algorithm

cpp-curried-function

Functional-style currying in C++14

enjoyable-lab

Doing some enjoyable experiments, writing some interesting code.