Cornelis Alternatives

Similar projects and alternatives to cornelis

• agda-vim

  2 128 0.0 Vim Script cornelis VS agda-vim

  Agda interaction in vim

• nvim-agda

  1 33 1.8 Lua cornelis VS nvim-agda

  Agda interaction pluging for neovim

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• agda2lagda

  0 13 4.9 Haskell cornelis VS agda2lagda

  Simple conversion from Agda text to literate Agda text.

• agda-unused

  0 9 5.5 Haskell cornelis VS agda-unused

  Check for unused code in an Agda project.

• nvim-hs-ghcid

  0 9 0.0 Haskell cornelis VS nvim-hs-ghcid

  Ghcid integration plugin for nvim-hs

• Agda

  27 2,378 9.8 Haskell cornelis VS Agda

  Agda is a dependently typed programming language / interactive theorem prover.

  

• nvim-hs

  0 263 6.3 Haskell cornelis VS nvim-hs

  Neovim API for Haskell plugins as well as the plugin provider

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives