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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SDL bindings package for idris☆47Feb 26, 2020Updated 6 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- dependent types meets deep learning☆44Jan 7, 2019Updated 7 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ELS 2017 demonstration: Delivering Common Lisp Applications with ASDF 3.3☆13Nov 6, 2017Updated 8 years ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆30Dec 20, 2024Updated last year
- ☆12Nov 12, 2021Updated 4 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…☆41Mar 18, 2026Updated last week
- OCaml backend for Idris2☆20Oct 12, 2020Updated 5 years ago
- Recursive descent parser for Emacs Lisp☆18Sep 29, 2012Updated 13 years ago
- Generic records for Scala☆16Mar 7, 2022Updated 4 years ago
- An ANSI Common Lisp compiler using LLVM.☆12Sep 5, 2021Updated 4 years ago
- Bare-metal Rust Embedded on K230☆13Dec 18, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆16Dec 17, 2014Updated 11 years ago
- Experimental Malfunction backend for Idris☆82Jun 20, 2018Updated 7 years ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Jan 19, 2018Updated 8 years ago
- Sololinker-A, rv1106, rockchip☆10Dec 18, 2023Updated 2 years ago
- Apply alternating letter casing to convey sarcasm or mockery☆14Feb 10, 2026Updated last month
- ☆22May 19, 2025Updated 10 months ago
- Experiments in implementing functional data structures in Idris☆15Jul 25, 2019Updated 6 years ago
- build tool and package manager for idris,in idris,with free monads☆32Feb 20, 2019Updated 7 years ago
- A modern, TreeSitter-powered, Emacs major mode for OCaml☆106Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A project to handle the creation of Quicklisp dists☆16Aug 13, 2025Updated 7 months ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Dec 5, 2024Updated last year
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%☆17Jun 23, 2017Updated 8 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆52Nov 2, 2017Updated 8 years ago
- The Elm architecture ported to Idris Programming language☆14Feb 27, 2019Updated 7 years ago
- System POSIX bindings for Idris.☆36Jan 5, 2019Updated 7 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆26Jul 7, 2018Updated 7 years ago
- A collection of various tweaks for working with Common Lisp.☆41Jan 31, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Expose C++ libraries in common lisp☆16Jul 18, 2023Updated 2 years ago
- A curated list of lem editor resources.☆25Aug 14, 2025Updated 7 months ago
- LFE HTTP Server Abstraction and Web Application Middleware Infrastructure☆22Mar 9, 2024Updated 2 years ago
- Emacs major mode and related tools for Purescript☆24Jun 13, 2025Updated 9 months ago
- Idris for Visual Studio Code☆106May 13, 2022Updated 3 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Source code for 'Pro OGRE 3D Programming' by Gregory Junker☆21Mar 29, 2017Updated 8 years ago