nasa / ogma

Related projects ⓘ

Alternatives and complementary repositories for ogma

• Copilot-Language / copilot
  A stream-based runtime-verification framework for generating hard real-time C code.
  ☆660Updated 2 weeks ago
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆249Updated 3 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆188Updated last year
• augustss / MicroHs
  Haskell implemented with combinators
  ☆367Updated this week
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆174Updated last month
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆420Updated last week
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆155Updated last month
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆97Updated 2 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆158Updated this week
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆271Updated 3 months ago
• snowleopard / build
  Build Systems à la Carte
  ☆248Updated 4 months ago
• ButlerOS / haskell-butler
  ☆89Updated 3 weeks ago
• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆271Updated 7 years ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆336Updated 2 weeks ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆161Updated this week
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆304Updated last year
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆164Updated 3 weeks ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆213Updated last week
• ekmett / guanxi
  Relational programming in Haskell. Mostly developed on twitch.
  ☆256Updated 2 months ago
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆441Updated last year
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆296Updated last week
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated last month
• tommythorn / Reduceron
  FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …
  ☆422Updated last week
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆503Updated 4 months ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆388Updated last year
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆366Updated 5 months ago
• facebookincubator / hsthrift
  The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift proj…
  ☆151Updated this week
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆185Updated 2 months ago
• lyokha / nginx-haskell-module
  A comprehensive web framework aimed at building custom Haskell handlers for the Nginx Web Server
  ☆163Updated last month
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆592Updated last month