Alternatives and similar repositories for thesis-template

Users that are interested in thesis-template are comparing it to the libraries listed below

• jwshii / etna

  View on GitHub
  ☆11May 12, 2025Updated 9 months ago
• Rewbert / quickcheck

  View on GitHub
  Automatic testing of Haskell programs.
  ☆13Jun 10, 2025Updated 8 months ago
• iwilare / formal-methods

  View on GitHub
  Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the I…
  ☆19Aug 25, 2022Updated 3 years ago
• SynchronVM / SynchronVM

  View on GitHub
  A virtual machine for microcontrollers.
  ☆19Oct 4, 2022Updated 3 years ago
• tweag / gazelle_cabal

  View on GitHub
  A gazelle extension to produce Haskell rules from cabal files
  ☆14Feb 2, 2026Updated last week
• facundominguez / stitch-lh

  View on GitHub
  ☆11Feb 15, 2022Updated 3 years ago
• bitonic / hakyll-agda

  View on GitHub
  Hakyll support for Agda literate files
  ☆19Jul 20, 2021Updated 4 years ago
• Jwink3101 / parmapper

  View on GitHub
  Simple, easy, parallel map function for python
  ☆10Feb 11, 2022Updated 4 years ago
• harendra-kumar / concise-haskell

  View on GitHub
  Concise Haskell reference
  ☆12Mar 22, 2018Updated 7 years ago
• ahmadsalim / desc-n-crunch

  View on GitHub
  Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
  ☆11Jan 14, 2019Updated 7 years ago
• Saizan / parametric-demo

  View on GitHub
  ☆12Jul 8, 2019Updated 6 years ago
• jwiegley / control-theory

  View on GitHub
  Control theory in Haskell: Data structures, algorithms and adapters
  ☆80Jan 14, 2019Updated 7 years ago
• eblot / nrf5-llvm

  View on GitHub
  Tools & patches to build nRF5 SDK with LLVM/Clang toolchain
  ☆11Dec 17, 2019Updated 6 years ago
• xich / scotty

  View on GitHub
  This is no longer the official repository. See:
  ☆14Dec 6, 2013Updated 12 years ago
• DSLsofMath / FPClimate

  View on GitHub
  PhD course on Functional Programming and Climate Impact Research
  ☆51Updated this week
• naumazeredo / competitive-programming

  View on GitHub
  ☆13Feb 20, 2021Updated 4 years ago
• David-Durst / aetherling

  View on GitHub
  Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python
  ☆13Mar 29, 2021Updated 4 years ago
• omelkonian / formal-utxo

  View on GitHub
  Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
  ☆14Nov 14, 2024Updated last year
• arend-lang / tutorial-code

  View on GitHub
  Source code & exercises in Arend's documentation
  ☆21Jul 19, 2021Updated 4 years ago
• Abhiroop / okasaki

  View on GitHub
  A Haskell Collections library. [WIP]
  ☆14Apr 7, 2024Updated last year
• UnivalencePrinciple / 2LTT-Agda

  View on GitHub
  Formalization of 2LTT in Agda
  ☆17Aug 6, 2025Updated 6 months ago
• Ptival / language-ocaml

  View on GitHub
  Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)
  ☆14Oct 17, 2021Updated 4 years ago
• jespercockx / reflection-tutorial

  View on GitHub
  ☆17Oct 16, 2018Updated 7 years ago
• typelead / eta-proposals

  View on GitHub
  Want to propose changes to Eta?
  ☆14Apr 2, 2018Updated 7 years ago
• AshishGogna / iOS-Chat-View

  View on GitHub
  Plug and Play Chat UI for iOS, written in Objective C.
  ☆12Apr 11, 2016Updated 9 years ago
• jdreaver / amy

  View on GitHub
  Strict Haskell-like programming language that compiles to LLVM
  ☆71Oct 31, 2019Updated 6 years ago
• agusakov / category-theory-game

  View on GitHub
  ☆17Jul 26, 2020Updated 5 years ago
• LS-Lab / Coq-dL

  View on GitHub
  A formally verified implementation of differential dynamic logic in Coq
  ☆18May 16, 2022Updated 3 years ago
• ayberkt / simplc

  View on GitHub
  A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.
  ☆16Dec 10, 2019Updated 6 years ago
• AndrasKovacs / SemanticsWithApplications

  View on GitHub
  Formal semantics in Agda.
  ☆16Jul 2, 2015Updated 10 years ago
• stevenvar / OCaLustre

  View on GitHub
  OCaml syntax extension for synchronous programming...
  ☆32Aug 17, 2023Updated 2 years ago
• Beluga-lang / Meta

  View on GitHub
  Mechanizing Types and Programming Languages using Beluga
  ☆21May 29, 2020Updated 5 years ago
• yoricksijsling / ornaments-thesis

  View on GitHub
  My master thesis about generic programming and ornaments
  ☆16Jul 5, 2016Updated 9 years ago
• laMudri / generic-lr

  View on GitHub
  AACMM's generic-syntax, but with QTT-style annotations
  ☆21Apr 7, 2024Updated last year
• lambdabetaeta / modal-logics

  View on GitHub
  Agda formalisation of dual-context constructive modal logics.
  ☆20Apr 1, 2020Updated 5 years ago
• lnxd / docker-github-backup

  View on GitHub
  A backup script for GitHub repositories
  ☆16Jul 10, 2022Updated 3 years ago
• aslanix / SmallStepNI

  View on GitHub
  Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
  ☆20Feb 22, 2020Updated 5 years ago
• hazelgrove / hazelnut-dynamics-agda

  View on GitHub
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Jun 16, 2024Updated last year
• typelead / eta-ffi

  View on GitHub
  A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.
  ☆18Dec 15, 2017Updated 8 years ago