Alternatives and similar repositories for inline-asm:

Users that are interested in inline-asm are comparing it to the libraries listed below

• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆53Updated 2 months ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated last week
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• andorp / IdrisExtSTGCodegen
  ☆24Updated 2 years ago
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆23Updated 3 weeks ago
• klapaucius / vector-hashtables
  ☆33Updated 8 months ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 4 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆56Updated 7 months ago
• 0xd34df00d / fizzbuzz-i
  FizzBuzz, formally verified, provably correct
  ☆24Updated last year
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆30Updated 5 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆41Updated 2 weeks ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 3 years ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 2 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆92Updated 2 months ago
• gelisam / linear-examples
  Example uses of linear types
  ☆43Updated 4 years ago
• haskellari / some
  Existential type.
  ☆36Updated 3 weeks ago
• AndrasKovacs / normalization-bench
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆54Updated 3 years ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated last month
• guibou / PyF
  Haskell QuasiQuoter for String Formatting
  ☆68Updated this week
• TOTBWF / cubical-categories
  Category theory formalized in cubical agda
  ☆21Updated 4 years ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆31Updated 3 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• karroffel / Idris2-Ocaml
  OCaml backend for Idris2
  ☆19Updated 4 years ago