aherrmann/simply_llvm 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

aherrmann/simply_llvm

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/aherrmann/simply_llvm)

Close

aherrmann / simply_llvmView on GitHubMore

• External links
• Readme badge

☆41Jul 2, 2017Updated 8 years ago

Alternatives and similar repositories for simply_llvm

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

• llvm-hs / llvm-hs-typed

  View on GitHub
  Type Safe LLVM IR ( Experimental )
  ☆49Jun 13, 2018Updated 7 years ago
• quchen / stackalone

  View on GitHub
  Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed
  ☆10Jun 8, 2017Updated 8 years ago
• sdiehl / paris-fp

  View on GitHub
  Paris Functional Programming Meetup
  ☆27Mar 21, 2020Updated 6 years ago
• csabahruska / jhc-grin

  View on GitHub
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Dec 13, 2018Updated 7 years ago
• psibi / sysinfo

  View on GitHub
  Haskell Interface for getting overall system statistics
  ☆16Feb 8, 2019Updated 7 years ago
• dhess / hpio

  View on GitHub
  Perform GPIO from Haskell
  ☆21Aug 28, 2019Updated 6 years ago
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• gergoerdi / hm-compo

  View on GitHub
  Compositional type checking for a Hindley-Milner type system
  ☆11Mar 28, 2017Updated 8 years ago
• GaloisInc / alex-tools

  View on GitHub
  A Haskell library making it easier to write Alex lexers.
  ☆12Sep 15, 2025Updated 6 months ago
• Neuromancer42 / ministgwasm

  View on GitHub
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Jun 13, 2017Updated 8 years ago
• andorp / mini-grin

  View on GitHub
  ICFP tutorial
  ☆39Jul 31, 2021Updated 4 years ago
• luc-tielen / debugger-hs

  View on GitHub
  Write your GDB scripts in Haskell!
  ☆27Dec 13, 2021Updated 4 years ago
• llvm-hs / llvm-hs-pretty

  View on GitHub
  Pretty printer for LLVM AST to Textual IR
  ☆70Jun 11, 2025Updated 9 months ago
• wereHamster / nauva

  View on GitHub
  ☆14Sep 24, 2017Updated 8 years ago
• lanl / APPFL

  View on GitHub
  Auto-parallelizing Pure Functional Language
  ☆27Apr 29, 2019Updated 6 years ago
• quchen / show-prettyprint

  View on GitHub
  Robust prettyprinter for output of auto-generated Show instances
  ☆17Dec 13, 2019Updated 6 years ago
• dalaing / type-systems

  View on GitHub
  ☆23Aug 30, 2017Updated 8 years ago
• robrix / abstract-interpretation

  View on GitHub
  Experiments in abstracting definitional interpreters
  ☆16Oct 13, 2017Updated 8 years ago
• nomeata / veggies

  View on GitHub
  Hopefully verifiable code generation in GHC
  ☆93May 10, 2017Updated 8 years ago
• ezyang / deepseq-magic

  View on GitHub
  Deep evaluation of data structures without NFData
  ☆10Jan 20, 2015Updated 11 years ago
• LouisJenkinsCS / LLVM-JVM

  View on GitHub
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Aug 23, 2021Updated 4 years ago
• merijn / lambda-except

  View on GitHub
  ☆11Nov 5, 2015Updated 10 years ago
• benjaminselfridge / propcheck

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

  View on GitHub
  Gazelle language extension for nix files
  ☆15Feb 22, 2023Updated 3 years ago
• derekelkins / ads

  View on GitHub
  Authenticated Data Structures
  ☆16Jul 5, 2015Updated 10 years ago
• luc-tielen / typesystem

  View on GitHub
  Experiments using a bidirectional typesystem
  ☆17Jan 30, 2022Updated 4 years ago
• kaizhang / clustering

  View on GitHub
  fast clustering algorithms
  ☆15Feb 13, 2019Updated 7 years ago
• bjpop / ministg

  View on GitHub
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Feb 5, 2020Updated 6 years ago
• kseo / poly_constraints

  View on GitHub
  Hindley-Milner type inference using constraints
  ☆50Jan 2, 2017Updated 9 years ago
• jdreaver / amy

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

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• tdietert / diml

  View on GitHub
  Honors Thesis Summer/Fall 2015
  ☆11Nov 18, 2018Updated 7 years ago
• ezyang / backpack-examples

  View on GitHub
  Backpack examples repository
  ☆14Aug 18, 2017Updated 8 years ago
• lemmih / fvg

  View on GitHub
  Functional Vector Graphics
  ☆17Jun 19, 2017Updated 8 years ago
• lexi-lambda / higher-rank

  View on GitHub
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101May 9, 2017Updated 8 years ago
• hsyl20 / ghc-studio

  View on GitHub
  Web frontend for GHC
  ☆12Dec 10, 2019Updated 6 years ago
• bollu / simplexhc

  View on GitHub
  compiler with polyhedral optmization for a lazy functional programming language
  ☆68Oct 8, 2017Updated 8 years ago
• m0ar / lollipop

  View on GitHub
  A general purpose programming language with linear types
  ☆43Mar 9, 2017Updated 9 years ago
• lthms / chain

  View on GitHub
  Extensible, Type Safe Error Handling in Haskell
  ☆13Dec 22, 2020Updated 5 years ago