luispedro/hex 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

luispedro/hex

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/luispedro/hex)

Close

luispedro / hexView on GitHubMore

• External links
• Readme badge

Reimplementation of TeX in Haskell: pre-alpha

☆32Apr 24, 2014Updated 11 years ago

Alternatives and similar repositories for hex

Users that are interested in hex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• arthuraa / beaq

  View on GitHub
  A Formalization of TeX in Coq
  ☆11Feb 27, 2022Updated 4 years ago
• deepakjois / hs-logo

  View on GitHub
  Logo turtle graphics interpreter in Haskell
  ☆20Oct 20, 2014Updated 11 years ago
• creswick / HaVSA

  View on GitHub
  HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.
  ☆12Jul 8, 2017Updated 8 years ago
• JohnReppy / compiling-pattern-guards

  View on GitHub
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Jul 26, 2022Updated 3 years ago
• pandeiro / jaki

  View on GitHub
  A simple ClojureScript CouchDB client
  ☆16Oct 10, 2012Updated 13 years ago
• ocaml-doc / octavius

  View on GitHub
  ocamldoc comment syntax parser
  ☆20Apr 30, 2020Updated 5 years ago
• marcinjangrzybowski / cubeViz2

  View on GitHub
  ☆29Jul 21, 2023Updated 2 years ago
• arjunguha / haskell-couchdb

  View on GitHub
  Haskell bindings for CouchDB
  ☆32Apr 25, 2015Updated 10 years ago
• mwotton / heroku_haskell_demo

  View on GitHub
  for lstoll to work his magic on.
  ☆18Jul 10, 2011Updated 14 years ago
• dbuenzli / hyperbib

  View on GitHub
  Publish annotated bibliographies
  ☆24Updated this week
• msullivan / typecoin

  View on GitHub
  Typecoin: Massively Multiplayer Online Linear Logic
  ☆18May 5, 2017Updated 8 years ago
• vincenthz / hs-socks

  View on GitHub
  Socks proxy library for haskell
  ☆19Aug 23, 2022Updated 3 years ago
• clojure-clutch / clutch-clojurescript

  View on GitHub
  DEPRECATED CouchDB views in ClojureScript for Clutch
  ☆16May 7, 2012Updated 13 years ago
• jhjourdan / statmemprof-emacs

  View on GitHub
  Emacs client for statistical memory profiler
  ☆17Mar 26, 2020Updated 5 years ago
• bryphe / merlin-language-server

  View on GitHub
  Minimal cross-platform LSP wrapper for merlin
  ☆29Mar 3, 2019Updated 7 years ago
• WebGHC / ghc

  View on GitHub
  Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…
  ☆13Jun 13, 2020Updated 5 years ago
• samcarter / tikzbricks

  View on GitHub
  A small LaTeX package to draw bricks with TikZ
  ☆26Mar 10, 2026Updated last week
• ekmett / half

  View on GitHub
  half-precision floating-point
  ☆17Mar 2, 2026Updated 3 weeks ago
• paolobrasolin / commutative-diagrams

  View on GitHub
  CoDi: Commutative Diagrams for TeX
  ☆31Jul 22, 2025Updated 8 months ago
• diagrams / geometry

  View on GitHub
  Haskell geometry library
  ☆17Mar 15, 2020Updated 6 years ago
• VincentPenelle / cairn

  View on GitHub
  A derivation explorer and logger for menhir parser
  ☆23Dec 13, 2025Updated 3 months ago
• nrao / antioch

  View on GitHub
  Dynamic Scheduling System for the GBT
  ☆16Sep 6, 2011Updated 14 years ago
• konn / pandoc-japanese-filters

  View on GitHub
  Pandoc filters to treat Japanese-specific markups
  ☆11Jan 20, 2016Updated 10 years ago
• jtobin / declarative

  View on GitHub
  DIY Markov Chains.
  ☆25Nov 9, 2024Updated last year
• haskell-mafia / mismi

  View on GitHub
  Haskell library for AWS
  ☆22Oct 14, 2019Updated 6 years ago
• let-def / cmon

  View on GitHub
  A library for printing OCaml values with sharing
  ☆25Apr 1, 2022Updated 3 years ago
• hsaliak / android-clojure-flashlight-example

  View on GitHub
  A simple flashlight android app written in clojure, based on the example at https://github.com/jayway/maven-android-plugin-samples. Meant…
  ☆31Feb 9, 2011Updated 15 years ago
• diagrams / dual-tree

  View on GitHub
  Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.
  ☆16May 13, 2025Updated 10 months ago
• adamgundry / inch

  View on GitHub
  A type-checker for Haskell with integer constraints
  ☆42Feb 21, 2015Updated 11 years ago
• lpw25 / implicits-module-system

  View on GitHub
  Work on modular implicits
  ☆25Oct 23, 2018Updated 7 years ago
• cedille / cedille2

  View on GitHub
  ☆17Jan 3, 2025Updated last year
• vqns / polymlb

  View on GitHub
  ML Basis for Poly/ML
  ☆13Oct 18, 2025Updated 5 months ago
• paolobrasolin / krater

  View on GitHub
  Template to effortlessly build math-rich websites
  ☆40Jan 7, 2022Updated 4 years ago
• lkuper / lvar-examples

  View on GitHub
  Programming with LVars, by example
  ☆36Jul 20, 2015Updated 10 years ago
• EcoFreshKase / gene-zip

  View on GitHub
  ☆11Oct 19, 2023Updated 2 years ago
• ekmett / charset

  View on GitHub
  fast utf-8 character sets
  ☆14Mar 3, 2025Updated last year
• kandu / mew_vi

  View on GitHub
  Modal editing witch, VI interpreter
  ☆11May 29, 2020Updated 5 years ago
• japaric-archived / serial.rs

  View on GitHub
  [DEPRECATED] Check https://crates.io/crates/serial for a replacement
  ☆19May 3, 2016Updated 9 years ago
• kyleburton / large-data-and-clojure

  View on GitHub
  Large Data and Clojure: the middle ground between RAM and EC2
  ☆24Dec 12, 2021Updated 4 years ago