bamboo/IdrisUnityPlayground external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

bamboo/IdrisUnityPlayground

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/bamboo/IdrisUnityPlayground)

Close

bamboo / IdrisUnityPlaygroundView on GitHubMore

• External links
• Readme badge

Experiments in Idris / Unity integration.

☆49Sep 26, 2016Updated 9 years ago

Alternatives and similar repositories for IdrisUnityPlayground

Users that are interested in IdrisUnityPlayground are comparing it to the libraries listed below

• andyarvanitis / idris-cplusplus

  View on GitHub
  Experimental C++11 backend for Idris
  ☆15Nov 29, 2014Updated 11 years ago
• idris-hackers / idris-free

  View on GitHub
  Free Monads and useful constructions to work with them
  ☆26Aug 14, 2018Updated 7 years ago
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated last year
• david-christiansen / IdrisSqlite

  View on GitHub
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41May 1, 2018Updated 7 years ago
• VictorTaelin / unknown_halting_status

  View on GitHub
  Small programs with unknown halting status.
  ☆12Jun 7, 2016Updated 9 years ago
• david-christiansen / idris-type-providers

  View on GitHub
  Type provider library for Idris
  ☆95Dec 21, 2017Updated 8 years ago
• idris-hackers / IdrisScript

  View on GitHub
  FFI Bindings to interact with the unsafe world of JavaScript
  ☆94Oct 7, 2018Updated 7 years ago
• puffnfresh / bam-idris-blog

  View on GitHub
  Static blog generator in Idris.
  ☆40Feb 17, 2015Updated 11 years ago
• idris-hackers / iQuery

  View on GitHub
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Jan 15, 2018Updated 8 years ago
• bamboo / idris-cil

  View on GitHub
  A Common Intermediate Language backend for Idris 1
  ☆134Oct 29, 2018Updated 7 years ago
• jfdm / idris-containers

  View on GitHub
  Various data structures for use in the Idris Language.
  ☆94May 22, 2020Updated 5 years ago
• idris-hackers / idris-posix

  View on GitHub
  System POSIX bindings for Idris.
  ☆36Jan 5, 2019Updated 7 years ago
• ziman / lightyear

  View on GitHub
  Parser combinators for Idris
  ☆244Apr 11, 2019Updated 6 years ago
• david-christiansen / derive-all-the-instances

  View on GitHub
  Work on type class deriving with elaboration reflection
  ☆32Sep 9, 2018Updated 7 years ago
• edwinb / States

  View on GitHub
  State machines in Idris
  ☆37Nov 6, 2016Updated 9 years ago
• HuwCampbell / idris-lens

  View on GitHub
  van Laarhoven lenses for Idris
  ☆20Sep 25, 2017Updated 8 years ago
• SimonJF / IdrisNet2

  View on GitHub
  A proper network library for Idris, now that I know what I'm doing.
  ☆59Sep 27, 2016Updated 9 years ago
• justjoheinz / idris-httpclient

  View on GitHub
  A http client for Idris based on libcurl
  ☆10Mar 18, 2016Updated 9 years ago
• meraymond2 / idris-ide-client

  View on GitHub
  TypeScript client for Idris IDE-mode.
  ☆13Nov 6, 2022Updated 3 years ago
• KesterTong / idris2048

  View on GitHub
  2048 in Idris
  ☆124Nov 28, 2017Updated 8 years ago
• edwinb / SDL-idris

  View on GitHub
  SDL bindings package for idris
  ☆47Feb 26, 2020Updated 6 years ago
• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 10 years ago
• jonasbuntinx / gatsby-purescript-example

  View on GitHub
  Simple example app using Gatsby.js with Purescript
  ☆12Jan 6, 2023Updated 3 years ago
• MarcelineVQ / idris2-streaming

  View on GitHub
  Effectful Streaming for Idris
  ☆15Dec 13, 2020Updated 5 years ago
• jaredloomis / Idris-HoTT

  View on GitHub
  Homotopy Type Theory proofs in Idris
  ☆22May 22, 2019Updated 6 years ago
• timjb / quantities

  View on GitHub
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆164Jan 28, 2019Updated 7 years ago
• FranckS / RingIdris

  View on GitHub
  Ring solver for Idris
  ☆20Nov 12, 2018Updated 7 years ago
• bigs / idris2-libgit2

  View on GitHub
  Libgit2 bindings for Idris 2
  ☆13Sep 10, 2020Updated 5 years ago
• edwinb / idris-php

  View on GitHub
  Yes, really...
  ☆176Aug 4, 2017Updated 8 years ago
• jfdm / idris-config

  View on GitHub
  Parsers for various configuration files written in Idris.
  ☆19Nov 8, 2017Updated 8 years ago
• idris-hackers / idris-lens

  View on GitHub
  ☆23Sep 30, 2016Updated 9 years ago
• ForNeVeR / skalarprodukt

  View on GitHub
  Experimental multidimensional arrays for F#
  ☆11Nov 12, 2017Updated 8 years ago
• Lanayx / HighloadCup

  View on GitHub
  Highload cup F# solution
  ☆12Oct 9, 2018Updated 7 years ago
• eckart / gl-idris

  View on GitHub
  ☆13Jul 19, 2018Updated 7 years ago
• nikivazou / presentations

  View on GitHub
  Presentations on Liquid Haskell, type theory, and more
  ☆45Oct 24, 2024Updated last year
• idris-hackers / idris-mode

  View on GitHub
  Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆274Feb 9, 2026Updated 2 weeks ago
• stedolan / idris-malfunction

  View on GitHub
  Experimental Malfunction backend for Idris
  ☆82Jun 20, 2018Updated 7 years ago
• david-christiansen / idris-quickcheck

  View on GitHub
  A port of QuickCheck to Idris
  ☆60Oct 30, 2017Updated 8 years ago
• mietek / idris-bash

  View on GitHub
  GNU bash backend for Idris
  ☆52Feb 14, 2019Updated 7 years ago