mmzk1526 Goto Github PK

c-fp

Functional Data Structures in C

c-threadpool

A simple fix-sized thread-pool in C as practice

c-unittest

A light-weighted module that generates concise and structured unit tests for programs in the C language.

cea

Generic marshalling between C-pointer and Haskell data types

chinese-calendar-historical-data

clingo-practice

cpp-leetcode

Puzzles that I came across; solved in C++

doc-jan-haskell

Solutions to Imperial College Department of Computing Haskell January Tests

flutter-heroku-buildpack

Heroku Buildpack for Flutter Web Apps

haskell-aoc2021

Solving Advent of Code 2021 with Haskell

haskell-aoc2022

Solving Advent of Code 2022 with Haskell

haskell-blockchain-tutorial

A simple blockchain toy example

haskell-ds

Practising some of the data structures in the Imperial College module of Algorithm Design and Analysis

haskell-gadget

Lightweight Helper Functions in Haskell

haskell-graphs

Implementing graph-related algorithms in Haskell based on the Imperial College First-Year Course: 40008 Graphs and Algorithms.

haskell-leetcode

Puzzles that I came across; solved in Haskell

haskell-rm

Implementation of the Register Machine in Haskell so efficient that it can even simulate the Universal Register Machine!

haskell-tfl-status

A simple TfL tube status checker

haskell-while-code

Implement the WHILE language introduced in the Imperial College Course Models of Computation

hrolog

A Prolog-like language

i

Say No to the New Imperial College London Logo!

ic-genealogy

This is the repository for the Ancesta web app that allows to visualise complex family trees of famous people using data from WikiData.

ktor-rm

Back-end for Haskell-RM

lambda_calculus

Dart package for Lambda Calculus

lambda_calculus_front_end

mmzk-bsparser

Parser combinators for mixed UTF-8 plain texts and binary streams

mmzk-ri

A supplementary collection of functions for real-life Haskell programming

mmzk-typeid

A TypeID implementation in Haskell

narancia-calculator

天才少年乘法口诀/ナランチャの乗算式

python-palindrome

Express any number as the sum of three palindromes, based on a 2016 algorithm discovered by Javier Cilleruelo, Florian Luca, and Lewis Baxter.