statebox / fsm-oracle

Related projects ⓘ

Alternatives and complementary repositories for fsm-oracle

• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated last year
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆30Updated 7 years ago
• olynch / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆11Updated 2 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 5 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• edwinb / States
  State machines in Idris
  ☆36Updated 8 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆16Updated 2 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆88Updated 3 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆12Updated 4 years ago
• leanprover / super
  Superposition prover
  ☆16Updated last year
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆38Updated last year
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆57Updated 8 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 5 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆40Updated 5 years ago
• micahhahn / FunctionalGeometry
  A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
  ☆26Updated 7 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 6 years ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 4 years ago
• jaredly / unison.rs
  ☆67Updated 2 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆55Updated last year
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 5 months ago
• ekmett / auth
  ☆40Updated 6 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 7 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 3 years ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• berewt / acme-haskellee
  Haskell Enterprise Edition
  ☆12Updated 7 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago