Alternatives and similar repositories for scfgc

Users that are interested in scfgc are comparing it to the libraries listed below

• uqbar-taller-de-lenguajes / taller-2017

  View on GitHub
  ☆10Aug 9, 2017Updated 8 years ago
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• dmurfet / polysemantics

  View on GitHub
  Polynomial semantics of linear logic
  ☆13Apr 15, 2018Updated 7 years ago
• jaalonso / Examenes_de_PF_con_Haskell

  View on GitHub
  Exámenes de programación funcional con Haskell
  ☆10Jun 18, 2023Updated 2 years ago
• haskell-rewriting / term-rewriting

  View on GitHub
  Yet another haskell term rewriting library
  ☆18Aug 27, 2025Updated 5 months ago
• mratsim / haskell-numbertheory

  View on GitHub
  Exploration of primes, factorization and number theory through haskell
  ☆10Oct 10, 2016Updated 9 years ago
• musha68k / chill-netcat

  View on GitHub
  UDP-only netcat implementation with OCaml / MirageOS
  ☆14Mar 21, 2017Updated 8 years ago
• lucypero / voidcrawl

  View on GitHub
  ☆13Mar 23, 2025Updated 10 months ago
• lpalmes / bs-material-ui

  View on GitHub
  Material UI bindings for Reason
  ☆11Nov 2, 2017Updated 8 years ago
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10Oct 15, 2021Updated 4 years ago
• sto0pkid / swipl-tt

  View on GitHub
  Implementation of dependent type theory in SWI-Prolog
  ☆10Oct 6, 2020Updated 5 years ago
• lepoetemaudit / alpaca-repl

  View on GitHub
  An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM
  ☆10Jun 7, 2017Updated 8 years ago
• DianaPajon / tiger

  View on GitHub
  A Haskell implementation of the tiger compiler
  ☆10May 2, 2020Updated 5 years ago
• mattbierner / blog.mattbierner.com

  View on GitHub
  blog.mattbierner.com
  ☆10Jul 4, 2024Updated last year
• parsonsmatt / lambda

  View on GitHub
  An exploration and implementation of the lambda calculus.
  ☆12Oct 18, 2016Updated 9 years ago
• fpco / haskell-multi-docker-example

  View on GitHub
  ☆15Aug 27, 2018Updated 7 years ago
• hsyl20 / ghc-studio

  View on GitHub
  Web frontend for GHC
  ☆12Dec 10, 2019Updated 6 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• prowdsponsor / ig

  View on GitHub
  Bindings to Instagram's API
  ☆11Feb 19, 2018Updated 7 years ago
• JayFoxRox / xbe-loader

  View on GitHub
  ☆12Oct 31, 2019Updated 6 years ago
• CoqHott / Program-translations-CC-omega

  View on GitHub
  ☆14Nov 23, 2016Updated 9 years ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• zhuye88 / StreaKHC

  View on GitHub
  A novel incremental hierarchical clustering algorithm (KDD 22)
  ☆10Aug 31, 2023Updated 2 years ago
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• Snowflake-Labs / floe-specification

  View on GitHub
  Official specification and reference code for Fast Lightweight Online Encryption (FLOE)
  ☆26Jan 21, 2026Updated 3 weeks ago
• appcela / grails3-cors-interceptor

  View on GitHub
  Add Cross-Origin Resource Sharing (CORS) headers for Grails 3 applications.
  ☆10Oct 31, 2016Updated 9 years ago
• brunofx86 / LL

  View on GitHub
  Formalization of Linear Logic
  ☆11Jun 25, 2017Updated 8 years ago
• ToTal / total

  View on GitHub
  ☆11Jul 20, 2016Updated 9 years ago
• GaloisInc / alex-tools

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

  View on GitHub
  Simple Erlang's logger's formatters wrapper that adds colours to the messages
  ☆15Aug 11, 2020Updated 5 years ago
• psibi / sysinfo

  View on GitHub
  Haskell Interface for getting overall system statistics
  ☆16Feb 8, 2019Updated 7 years ago
• vt-elixir / interactor

  View on GitHub
  Interactor provides an opinionated interface for performing complex user interactions.
  ☆11Nov 16, 2017Updated 8 years ago
• zl4bv / aws-session-credentials

  View on GitHub
  Command-line tool to generate AWS session credentials.
  ☆10Mar 8, 2018Updated 7 years ago
• argent0 / haskell-ml-benchmark

  View on GitHub
  Comparing Different Stochastic Gradien Descent implementations in Haskell against Python
  ☆10Jul 25, 2016Updated 9 years ago
• harendra-kumar / monad-recorder

  View on GitHub
  Record and play the results of monadic actions
  ☆13Mar 18, 2018Updated 7 years ago
• icicle-lang / jetski-ambiata

  View on GitHub
  Runtime compilation and invocation of C.
  ☆10Mar 25, 2019Updated 6 years ago
• orca-lang / orca

  View on GitHub
  Type theory + whales and syntax
  ☆11Nov 28, 2019Updated 6 years ago
• barrucadu / minifu

  View on GitHub
  A tutorial on writing a concurrency testing tool in Haskell
  ☆12Nov 5, 2017Updated 8 years ago