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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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…☆41Apr 27, 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆16Dec 17, 2014Updated 11 years ago
- Experimental Malfunction backend for Idris☆81Jun 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☆14Apr 24, 2026Updated last week
- ☆21May 19, 2025Updated 11 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 project to handle the creation of Quicklisp dists☆16Aug 13, 2025Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆25Dec 5, 2024Updated last year
- A modern, TreeSitter-powered, Emacs package for programming in OCaml☆117Apr 17, 2026Updated 2 weeks ago
- 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A curated list of lem editor resources.☆25Aug 14, 2025Updated 8 months ago
- Expose C++ libraries in common lisp☆16Jul 18, 2023Updated 2 years 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 10 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☆20Mar 29, 2017Updated 9 years ago