alexeyr/miet-haskell-course external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

alexeyr/miet-haskell-course

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/alexeyr/miet-haskell-course)

Close

alexeyr / miet-haskell-courseView on GitHubMore

• External links
• Readme badge

☆25Jun 3, 2024Updated last year

Alternatives and similar repositories for miet-haskell-course

Users that are interested in miet-haskell-course are comparing it to the libraries listed below

• mietek / mit-cadr-system-software

  View on GitHub
  Mirror of MIT CADR Lisp machine system software
  ☆23Feb 14, 2019Updated 7 years ago
• stiger-slan / Masters_of_Doom

  View on GitHub
  Translation of the book "Masters of doom"
  ☆32Nov 22, 2014Updated 11 years ago
• Tvaroh / tagged-types

  View on GitHub
  Zero-dependency boilerplate-free tagged types for Scala
  ☆37Apr 9, 2021Updated 4 years ago
• datakurre / nix-build-pack-docker

  View on GitHub
  Nix to Docker buildpack
  ☆39Nov 11, 2015Updated 10 years ago
• QortexDevs / fnsapi

  View on GitHub
  Коннектор к апи ФНС для проверки чеков от ОФД в ФНС
  ☆12Dec 29, 2020Updated 5 years ago
• 0-wiz-0 / findnewest

  View on GitHub
  Recursively find newest file in a hierarchy and print its timestamp
  ☆11Jul 9, 2025Updated 8 months ago
• jnweiger / Schickard

  View on GitHub
  Lasercut construction of the first calculating machine after Wilhelm Schickard 1623
  ☆12Feb 26, 2025Updated last year
• vtomanov / merix

  View on GitHub
  Advance battery monitoring system
  ☆10Feb 3, 2020Updated 6 years ago
• bkirwi / applicative-syntax

  View on GitHub
  Hacky applicative-style for comprehensions for Scala.
  ☆37Apr 29, 2022Updated 3 years ago
• pawamoy / archan

  View on GitHub
  Analysis of your architecture strength based on DSM data.
  ☆12Jan 11, 2024Updated 2 years ago
• tune-the-model / tune-the-model-py

  View on GitHub
  Python SDK for Tune The Model API
  ☆12Apr 27, 2023Updated 2 years ago
• orrsella / sbt-sound

  View on GitHub
  An sbt plugin for adding sounds to task completions
  ☆28May 5, 2018Updated 7 years ago
• chuharev / grnti-grabber

  View on GitHub
  Tools for handling GRNTI list
  ☆10Sep 2, 2023Updated 2 years ago
• ch1bo / flycheck-clang-tidy

  View on GitHub
  Flycheck syntax checker using clang-tidy
  ☆39Jan 22, 2022Updated 4 years ago
• lemmy / ewd998

  View on GitHub
  Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
  ☆42Apr 23, 2023Updated 2 years ago
• chrisokasaki / hwtest

  View on GitHub
  A Scala testing library for homeworks
  ☆10Aug 17, 2022Updated 3 years ago
• mitre / heimdall-mongo

  View on GitHub
  A Mongo-based version of Heimdall (Deprecated)
  ☆11May 1, 2019Updated 6 years ago
• sergiruiztrepat / chembalance

  View on GitHub
  Balance chemical equations
  ☆10May 26, 2022Updated 3 years ago
• vcstools / rosinstall

  View on GitHub
  ☆10Jun 25, 2020Updated 5 years ago
• deem0n / nim-nats

  View on GitHub
  Nim wrapper for the nats.c - without JetStream and without KV yet
  ☆11May 24, 2023Updated 2 years ago
• org2blog / org2blog-importers

  View on GitHub
  Importers from various blog formats to org2blog format
  ☆13Aug 4, 2022Updated 3 years ago
• nwin / chatIRC

  View on GitHub
  IRC server written in Rust
  ☆20Nov 26, 2014Updated 11 years ago
• cgreer / toy_conveyor_belt

  View on GitHub
  A 3D printable Toy Conveyor Belt
  ☆13Mar 4, 2025Updated last year
• lexi-lambda / scripty

  View on GitHub
  Distributable shell scripts with dependencies
  ☆11Dec 24, 2016Updated 9 years ago
• beorn7 / concurrentcount

  View on GitHub
  Experiments to benchmark implementations of a concurrent counter.
  ☆13Jun 10, 2015Updated 10 years ago
• mpdel / libmpdel

  View on GitHub
  Emacs library to communicate with Music Player Daemon (MPD)
  ☆10Sep 22, 2025Updated 5 months ago
• kinvolk / gobpf

  View on GitHub
  Go bindings for creating BPF programs.
  ☆13Jul 2, 2021Updated 4 years ago
• krameshkrr / Emacs

  View on GitHub
  Emacs customizations
  ☆15Oct 5, 2014Updated 11 years ago
• scarpazza / battlecruiser

  View on GitHub
  Restoration and modern usage of vintage IBM M 122-key a.k.a. "battlecruiser" keyboards
  ☆10Jun 27, 2022Updated 3 years ago
• utisam / blif

  View on GitHub
  A library to parse BLIF (Berkeley Logic Interchange Format) files.
  ☆10Mar 11, 2015Updated 10 years ago
• majek / p0f

  View on GitHub
  p0f git repo - unofficial clone
  ☆15Nov 1, 2012Updated 13 years ago
• skeeto / elisp-fakespace

  View on GitHub
  Emacs Lisp namespaces (defpackage)
  ☆18Aug 18, 2012Updated 13 years ago
• barcelona-c-c-users / meetup

  View on GitHub
  C++ Programmer Meetup.
  ☆14Jun 1, 2023Updated 2 years ago
• rapidlua / barebone-c

  View on GitHub
  Eliminating the need for hand-crafted assembly in high-performance interpreters
  ☆14Mar 22, 2021Updated 4 years ago
• orf / xpath-expressions

  View on GitHub
  Treat XPath expressions as Python objects
  ☆11Mar 31, 2021Updated 4 years ago
• l29ah / hatexmpp

  View on GitHub
  fuse xmpp client (xmppfs). The development stopped, you may like https://github.com/l29ah/hatexmpp3
  ☆26Jul 9, 2022Updated 3 years ago
• cavaliergopher / badio

  View on GitHub
  Extensions to Go's testing/iotest package
  ☆12Feb 13, 2016Updated 10 years ago
• epimorphics / tide-gauges

  View on GitHub
  Tide Gauge App
  ☆10Jul 5, 2017Updated 8 years ago
• font-lock-cl / font-lock-cl

  View on GitHub
  A package with pretty Common Lisp font locking.
  ☆10Apr 13, 2020Updated 5 years ago