Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by mikkelmilo
A curated list of projects in awesome lists by mikkelmilo .
https://github.com/mikkelmilo/go-turing-machine
A Turing Machine implementation written in Go
go golang interpreter turing-machine
Last synced: 06 Nov 2024
https://github.com/mikkelmilo/dsm-project
Two implementations of Distributed Shared Memory (DSM) systems; TreadMarks and MultiView
Last synced: 06 Nov 2024
https://github.com/mikkelmilo/rooster-spec
Automated Theory Exploration in Coq using Haskell's QuickSpec
conjectures coq lemma-discovery property-based-testing property-testing quickspec theory-exploration
Last synced: 06 Nov 2024
https://github.com/mikkelmilo/som-clustering-visualisations
Python implementation of visualisations of SOMs
Last synced: 06 Nov 2024
https://github.com/mikkelmilo/sat-solver-coq
A formalization of boolean formulae and SAT solver in Coq, along with some neat optimizers.
Last synced: 06 Nov 2024
https://github.com/mikkelmilo/kattis-problems
my solutions to various kattis problems. Name of the file corresponds to name of problem on kattis
Last synced: 06 Nov 2024
https://github.com/mikkelmilo/concert-quickchick-testing-thesis
Master's Thesis on Property-Based Testing of Smart Contracts in ConCert (Coq) using QuickChick
Last synced: 06 Nov 2024
https://github.com/mikkelmilo/concert-testing-examples
Example usage of ConCert's property-based testing framework, on various smart contracts
Last synced: 06 Nov 2024
https://github.com/mikkelmilo/hs-proofs-with-types
A 'Propositions as types' (ie. Curry-Howard Correspondence) example in Haskell
Last synced: 06 Nov 2024