https://github.com/mmzk1526/mmzk-typeid

A TypeID and UUIDv7 implementation in Haskell

haskell haskell-library typeid uuid uuid-generator uuid-v7

Last synced: 13 Apr 2025

https://github.com/mmzk1526/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.

palindrome python

Last synced: 13 Apr 2025

https://github.com/mmzk1526/haskell-rm

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

haskell simulator

Last synced: 13 Apr 2025

https://github.com/mmzk1526/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.

javascript kotlin ktor psql react

Last synced: 12 Feb 2025

https://github.com/mmzk1526/haskell-while-code

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

functional-programming haskell interpreter simulator

Last synced: 19 Feb 2025

https://github.com/mmzk1526/c-fp

Functional Data Structures in C

Last synced: 19 Feb 2025

https://github.com/mmzk1526/lambda_calculus_front_end

dart flutter lambda-calculus simulator

Last synced: 19 Feb 2025

https://github.com/mmzk1526/hrolog

A Prolog-like language

functional-programming haskell interpreter prolog

Last synced: 19 Feb 2025

https://github.com/mmzk1526/haskell-gadget

Lightweight Helper Functions in Haskell

Last synced: 13 Apr 2025

https://github.com/mmzk1526/rm_front_end

Front-end for Haskell-RM

dart flutter

Last synced: 19 Feb 2025

https://github.com/mmzk1526/lambda_calculus

Dart package for Lambda Calculus

dart functional-programming lambda-calculus simulator type-system

Last synced: 19 Feb 2025

https://github.com/mmzk1526/flutter-heroku-buildpack

Heroku Buildpack for Flutter Web Apps

flutter heroku

Last synced: 19 Feb 2025

https://github.com/mmzk1526/doc-jan-haskell

Solutions to Imperial College Department of Computing Haskell January Tests

functional-programming haskell ic

Last synced: 29 Dec 2024

https://github.com/mmzk1526/mmzk-bsparser

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

Last synced: 19 Feb 2025

https://github.com/mmzk1526/chinese-calendar-historical-data

Last synced: 19 Feb 2025

https://github.com/mmzk1526/mmzk-ri

A supplementary collection of functions for real-life Haskell programming

haskell haskell-library

Last synced: 19 Feb 2025

https://github.com/mmzk1526/clingo-practice

clingo haskell

Last synced: 19 Feb 2025

https://github.com/mmzk1526/haskell-aoc2022

Solving Advent of Code 2022 with Haskell

Last synced: 19 Feb 2025

https://github.com/mmzk1526/haskell-leetcode

Puzzles that I came across; solved in Haskell

Last synced: 19 Feb 2025

https://github.com/mmzk1526/cpp-leetcode

Puzzles that I came across; solved in C++

Last synced: 19 Feb 2025

https://github.com/mmzk1526/haskell-tfl-status

A simple TfL tube status checker

functional-programming haskell

Last synced: 19 Feb 2025

https://github.com/mmzk1526/i

Say No to the New Imperial College London Logo!

chrome-extension imperial-college-london

Last synced: 19 Feb 2025

https://github.com/mmzk1526/scala-practice

Exercises from the book "Functional Programming in Scala"

Last synced: 19 Feb 2025

https://github.com/mmzk1526/cea

Generic marshalling between C-pointer and Haskell data types

c haskell

Last synced: 19 Feb 2025

https://github.com/mmzk1526/haskell-blockchain-tutorial

A simple blockchain toy example

blockchain functional-programming

Last synced: 19 Feb 2025

https://github.com/mmzk1526/ktor-rm

Back-end for Haskell-RM

kotlin ktor

Last synced: 19 Feb 2025