vindaloo-thesis/examples 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

vindaloo-thesis/examples

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/vindaloo-thesis/examples)

Close

vindaloo-thesis / examplesView on GitHubMore

• External links
• Readme badge

Code samples inspiring language design

☆23Feb 24, 2016Updated 10 years ago

Alternatives and similar repositories for examples

Users that are interested in examples are comparing it to the libraries listed below

• vindaloo-thesis / idris-se

  View on GitHub
  Idris to Serpent back end for Ethereum smart contracts
  ☆31Sep 14, 2017Updated 8 years ago
• Sunscreen-tech / spf

  View on GitHub
  This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…
  ☆11Updated this week
• sdiehl / print

  View on GitHub
  Simple printing with Text
  ☆10Jan 3, 2017Updated 9 years ago
• bgamari / play-type-search

  View on GitHub
  A hack to find types in Haskell codebases
  ☆10Aug 15, 2015Updated 10 years ago
• tolysz / c-mosquitto

  View on GitHub
  Simple Amazon IoT compatible client
  ☆13Oct 24, 2019Updated 6 years ago
• TobiReinhart / sparse-tensor

  View on GitHub
  typesafe implementation of tensor algebra in Haskell
  ☆13Feb 27, 2021Updated 5 years ago
• dlaurie / lua-apl

  View on GitHub
  APL-like functions for use from Lua.
  ☆18Mar 23, 2015Updated 10 years ago
• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 10 years ago
• ammkrn / timelib

  View on GitHub
  A date and time library for Lean 4
  ☆14Apr 12, 2025Updated 10 months ago
• davidar / hs-ipfs-api

  View on GitHub
  A Haskell client library for the IPFS API
  ☆26Jul 12, 2017Updated 8 years ago
• ajtulloch / haskell-ml

  View on GitHub
  Haskell implementations of various ML algorithms.
  ☆60May 29, 2014Updated 11 years ago
• tdietert / diml

  View on GitHub
  Honors Thesis Summer/Fall 2015
  ☆11Nov 18, 2018Updated 7 years ago
• bootstarted / effects

  View on GitHub
  Almost-extensible effects for Elixir.
  ☆27Aug 9, 2016Updated 9 years ago
• ChainAgnostic / varsig

  View on GitHub
  The cryptographic signature multifomat
  ☆13Jul 9, 2025Updated 7 months ago
• raineorshine / functional-solidity-language

  View on GitHub
  A typed, functional language that targets the EVM.
  ☆55Jan 20, 2017Updated 9 years ago
• cocreature / postgresql-named

  View on GitHub
  Deserialize PostgreSQL rows to Haskell records by matching column names and record field names
  ☆13Feb 19, 2018Updated 8 years ago
• sheyll / newtype-zoo

  View on GitHub
  A Zoo of Haskell Newtype Wrappers
  ☆15Nov 30, 2020Updated 5 years ago
• tydeu / lean4-itertools

  View on GitHub
  A Lean 4 library for iterators.
  ☆14Dec 10, 2023Updated 2 years ago
• benjaminselfridge / propcheck

  View on GitHub
  Proof checker for propositional logic
  ☆16Jul 7, 2017Updated 8 years ago
• bootstarted / pipeline

  View on GitHub
  Monadic HTTP application composition for plug and friends.
  ☆15Aug 9, 2016Updated 9 years ago
• bamboo / idris-cil

  View on GitHub
  A Common Intermediate Language backend for Idris 1
  ☆134Oct 29, 2018Updated 7 years ago
• vincenthz / professor

  View on GitHub
  haskell prof file CLI/Curses tool
  ☆32May 2, 2017Updated 8 years ago
• mindbeam / unbase

  View on GitHub
  ☆40Feb 10, 2020Updated 6 years ago
• opencompl / egg-tactic-code

  View on GitHub
  ☆16Jul 3, 2023Updated 2 years ago
• michaelt / lens-simple

  View on GitHub
  simplified import of lens-family
  ☆18Jul 12, 2016Updated 9 years ago
• iu-parfunc / haskell_dsl_tour

  View on GitHub
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Sep 28, 2015Updated 10 years ago
• np / hx

  View on GitHub
  Bitcoin CLI tools: Haskell port of Sx using Haskoin
  ☆12Nov 2, 2015Updated 10 years ago
• joneshf / elm-proof

  View on GitHub
  ☆13Aug 6, 2017Updated 8 years ago
• nushio3 / physics-inhaskell

  View on GitHub
  Knowledge of classical mechanics, written in haskell.
  ☆14Feb 11, 2013Updated 13 years ago
• sellerlabs / haskell-workshop

  View on GitHub
  Haskell Workshop - Spring 2016
  ☆16Jan 6, 2017Updated 9 years ago
• LightAndLight / parametricity-proofs

  View on GitHub
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Jul 19, 2018Updated 7 years ago
• OvermindDL1 / typed_elixir

  View on GitHub
  ☆19May 12, 2017Updated 8 years ago
• rbermani / ib-api

  View on GitHub
  An API for the Interactive Brokers Trader Workstation written in pure Haskell
  ☆18Dec 30, 2017Updated 8 years ago
• grasswire / scrapey

  View on GitHub
  tiny webservice to get a link preview from a url
  ☆15Jul 28, 2015Updated 10 years ago
• ecliptic / purescript-npm

  View on GitHub
  An experimental attempt to bring the PureScript ecosystem to npm
  ☆19Jun 1, 2017Updated 8 years ago
• declanoller / haskell-vae

  View on GitHub
  Learning about Haskell with Variational Autoencoders
  ☆19Nov 16, 2019Updated 6 years ago
• christian-marie / roundtrip-aeson

  View on GitHub
  Parse/unparse JSON with roundtrip invertible syntax descriptions.
  ☆17Feb 1, 2019Updated 7 years ago
• andrevdm / SimpleHaskellStackVM

  View on GitHub
  Simple demonstration stack based virtual machine written in Haskell
  ☆42May 28, 2016Updated 9 years ago
• begriffs / haskell-circle-example

  View on GitHub
  Exemplary Stack-based template for Circle CI
  ☆16Jun 26, 2016Updated 9 years ago