0xd34df00d / inline-asm

Related projects ⓘ

Alternatives and complementary repositories for inline-asm

• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆50Updated 3 weeks ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated last month
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆41Updated this week
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆55Updated 5 months ago
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆23Updated 2 months ago
• gelisam / linear-examples
  Example uses of linear types
  ☆43Updated 4 years ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆64Updated 3 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 4 years ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆28Updated 3 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• andorp / IdrisExtSTGCodegen
  ☆24Updated 2 years ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆43Updated 4 years ago
• haskellari / some
  Existential type.
  ☆36Updated 6 months ago
• andorp / mini-grin
  ICFP tutorial
  ☆40Updated 3 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• balint99 / sfpl
  A simple functional programming language.
  ☆21Updated 3 years ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆82Updated 3 years ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆33Updated 5 months ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆122Updated 3 months ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 2 years ago
• input-output-hk / nothunks
  ☆47Updated last week
• habit-lang / alb
  ☆39Updated 3 months ago
• softwarefactory-project / matrix-client-haskell
  Matrix.org haskell client library
  ☆25Updated 9 months ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated 3 months ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆36Updated 3 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆77Updated 6 months ago