FabianVegaA / sigmaF

Related projects: ⓘ

• neohaskell / neohaskell.github.io
  Home of the NeoHaskell docs
  ☆14Updated 6 months ago
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆28Updated last year
• RocketRace / hoopy
  Inline Haskell inside your Python code
  ☆25Updated 2 months ago
• simonmichael / haskell-links
  Exploratory project to gather Haskell links
  ☆10Updated last year
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆44Updated last year
• bobatkey / CS316-2022
  Materials for the 2022-2023 edition of CS316 "Functional Programming"
  ☆23Updated last year
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆15Updated 6 months ago
• s-zeng / dhall-python
  Up-to-date and maintained python bindings for dhall, a functional configuration language
  ☆44Updated 11 months ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆28Updated 9 months ago
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆15Updated 5 months ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆15Updated 5 months ago
• MercuryTechnologies / slack-web
  Haskell bindings for the Slack web API
  ☆30Updated this week
• rebeccaskinner / presentations
  Presentations.
  ☆16Updated last year
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 6 months ago
• chshersh / ghc-plugin-non-empty
  🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list
  ☆27Updated last year
• cachix / stamina.hs
  Retrying for humans using Haskell.
  ☆42Updated 7 months ago
• inflex-io / early
  Add early return to any do-expression
  ☆46Updated 3 years ago
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆65Updated last week
• chrisreade / PenroseKiteDart
  Haskell Diagrams for Penrose Kite and Dart non-periodic tilings
  ☆11Updated 3 weeks ago
• phase / dtt
  experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
  ☆23Updated 6 months ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆16Updated last year
• pbv / haskelite
  Re-implementation of a minimal interpreter for a subset of Haskell
  ☆27Updated this week
• chiroptical / snail
  A programming language for gastropods
  ☆12Updated 3 months ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆24Updated last month
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆48Updated 3 years ago
• tweag / lagoon
  Data centralization tool
  ☆35Updated 4 years ago
• hexagonal-sun / hchess
  Haskell Chess Engine
  ☆18Updated 3 years ago
• enso-org / hiring
  Job descriptions for hiring
  ☆27Updated 11 months ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆28Updated 4 years ago