idris-industry / idris-ffi-exampleView external linksLinks
A minimal example of the Idris C FFI
☆14May 15, 2015Updated 10 years ago
Alternatives and similar repositories for idris-ffi-example
Users that are interested in idris-ffi-example are comparing it to the libraries listed below
Sorting:
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- ☆12Nov 12, 2021Updated 4 years ago
- SDL bindings package for idris☆47Feb 26, 2020Updated 5 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Jan 19, 2018Updated 8 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- A Go backend for Idris☆15Jul 28, 2018Updated 7 years ago
- The Elm architecture ported to Idris Programming language☆14Feb 27, 2019Updated 6 years ago
- Generic records for Scala☆16Mar 7, 2022Updated 3 years ago
- OCaml backend for Idris2☆20Oct 12, 2020Updated 5 years ago
- Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%☆17Jun 23, 2017Updated 8 years ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- dependent types meets deep learning☆44Jan 7, 2019Updated 7 years ago
- ☆21May 19, 2025Updated 8 months ago
- ☆16Dec 17, 2014Updated 11 years ago
- Experimental Malfunction backend for Idris☆82Jun 20, 2018Updated 7 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Dec 5, 2024Updated last year
- Emacs major mode and related tools for Purescript☆24Jun 13, 2025Updated 8 months ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Nov 2, 2017Updated 8 years ago
- Idris tactics for (commutative) monoids☆20May 24, 2020Updated 5 years ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆28Dec 20, 2024Updated last year
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Experimental Scala 3 library that allows to automatically derive instances of the smithy4s abstractions from scala constructs.☆25Jul 16, 2024Updated last year
- ☆22Nov 8, 2017Updated 8 years ago
- Extensible records for Idris☆25Jun 13, 2021Updated 4 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Jul 28, 2017Updated 8 years ago
- Idris for Visual Studio Code☆107May 13, 2022Updated 3 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Jul 3, 2020Updated 5 years ago
- Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API，ChatGPT国内可用免费转发API，直连无需代理。☆13Aug 28, 2024Updated last year
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29May 26, 2021Updated 4 years ago
- build tool and package manager for idris,in idris,with free monads☆32Feb 20, 2019Updated 6 years ago
- unified slash syntax for both shell and build.sbt☆29Jun 26, 2017Updated 8 years ago
- Try is an extensible Common Lisp test anti-framework with equal support for interactive and non-interactive workflows, as well as Emacs i…☆40Updated this week
- Linear types in Scala☆46Updated this week
- A portable idris2 implementation of TLS☆32Oct 30, 2024Updated last year
- メジロ式速記☆17Jan 30, 2026Updated 2 weeks ago
- Implementation of cryptographic primitives using Idris☆123May 5, 2018Updated 7 years ago
- System POSIX bindings for Idris.☆36Jan 5, 2019Updated 7 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Jun 26, 2018Updated 7 years ago
- Package manager for Idris☆37Jul 21, 2022Updated 3 years ago