Alternatives and similar repositories for principios_del_caos

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

• gburca / BaGoMa

  View on GitHub
  Smart backup for your GMail account
  ☆67Feb 11, 2014Updated 12 years ago
• dmurfet / polysemantics

  View on GitHub
  Polynomial semantics of linear logic
  ☆13Apr 15, 2018Updated 7 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
• fpco / haskell-multi-docker-example

  View on GitHub
  ☆15Aug 27, 2018Updated 7 years ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• innovia / kubernetes-mutation-webhook-vault-secrets

  View on GitHub
  Kubernetes Mutation Webhook for injecting vault-env to fetch secrets from vault
  ☆10Apr 29, 2020Updated 5 years ago
• harendra-kumar / monad-recorder

  View on GitHub
  Record and play the results of monadic actions
  ☆13Mar 18, 2018Updated 7 years ago
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10Oct 15, 2021Updated 4 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
• 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
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• ToTal / total

  View on GitHub
  ☆11Jul 20, 2016Updated 9 years ago
• mattbierner / blog.mattbierner.com

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

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

  View on GitHub
  Haskell Interface for getting overall system statistics
  ☆16Feb 8, 2019Updated 7 years ago
• GaloisInc / alex-tools

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

  View on GitHub
  A distributed HTTP-based and REST-like ping-pong system for test and benchmarking purposes.
  ☆14Mar 6, 2017Updated 8 years ago
• DianaPajon / tiger

  View on GitHub
  A Haskell implementation of the tiger compiler
  ☆10May 2, 2020Updated 5 years ago
• orca-lang / orca

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

  View on GitHub
  Formalization of Linear Logic
  ☆11Jun 25, 2017Updated 8 years ago
• lpalmes / bs-material-ui

  View on GitHub
  Material UI bindings for Reason
  ☆11Nov 2, 2017Updated 8 years ago
• rrtj3 / ansible-vsphere_guest

  View on GitHub
  Ansible module that allows you to create a vsphere guest
  ☆25Mar 14, 2013Updated 12 years ago
• RussianFedora / chromium

  View on GitHub
  ☆10Apr 12, 2019Updated 6 years ago
• vt-elixir / interactor

  View on GitHub
  Interactor provides an opinionated interface for performing complex user interactions.
  ☆11Nov 16, 2017Updated 8 years ago
• CoqHott / Program-translations-CC-omega

  View on GitHub
  ☆14Nov 23, 2016Updated 9 years ago
• parsonsmatt / lambda

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

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

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years 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
• haskell-rewriting / term-rewriting

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

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

  View on GitHub
  A dockerfile to backup mongo to s3
  ☆11Oct 1, 2019Updated 6 years ago
• hsyl20 / ghc-studio

  View on GitHub
  Web frontend for GHC
  ☆12Dec 10, 2019Updated 6 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
• musha68k / chill-netcat

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

  View on GitHub
  Bindings to Instagram's API
  ☆11Feb 19, 2018Updated 7 years ago
• sgreben / subst

  View on GitHub
  substitutes $variables in text. single binary, no dependencies. linux, osx, windows.
  ☆14Feb 15, 2019Updated 7 years ago
• icicle-lang / jetski-ambiata

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