s-zeng / dhall-python

Related projects ⓘ

Alternatives and complementary repositories for dhall-python

• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆44Updated 2 years ago
• tbarnetlamb / hyphen
  hyphen - access Haskell modules from Python
  ☆91Updated 4 months ago
• softwarefactory-project / dhall-containerfile
  Manage your Containerfile with Dhall.
  ☆30Updated 3 years ago
• thautwarm / Quick-Backend
  Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
  ☆24Updated 4 years ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆20Updated 3 weeks ago
• guibou / PyF
  Haskell QuasiQuoter for String Formatting
  ☆66Updated 6 months ago
• zsedem / haskell-cpython
  ☆22Updated 4 months ago
• vmchale / apple
  Apple array system
  ☆54Updated this week
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆57Updated last week
• ceedubs / unison-nix
  Nix support for the Unison programming language
  ☆56Updated this week
• target / theta-idl
  Define communication protocols between applications using algebraic data types.
  ☆45Updated last year
• obsidiansystems / rhyolite
  ☆26Updated this week
• vmchale / dickinson
  Text generation language
  ☆32Updated 3 weeks ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆41Updated last year
• stefan-hoeck / idris2-rhone
  ☆17Updated 7 months ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆81Updated this week
• awkward-squad / ki
  A structured concurrency library
  ☆83Updated 4 months ago
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆21Updated last year
• fumieval / Haskell-breaking-changes
  ☆89Updated 3 years ago
• ohad / collie
  Command line interface library in Idris
  ☆30Updated 3 months ago
• NorfairKing / ical
  ☆31Updated last month
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆53Updated 7 months ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆72Updated last year
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 5 months ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆37Updated 2 years ago
• entangled / entangled
  bi-directional tangle daemon for literate programming
  ☆87Updated last year
• softwarefactory-project / dhall-ansible
  Ansible definitions with Dhall
  ☆66Updated 4 months ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆21Updated 6 months ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆50Updated 5 months ago