Awesome Open Source

Programming Languages

Search results for idris

213 search results found

Idris Data Frame ⭐ 16

Data frames for Idris 2

Fp In Idris ⭐ 16

Functional Programing in Scala (in Idris) [Idris]

Idris2 Dom Mvc ⭐ 16

Single Page Web Applications in Idris

Golden tests for command-line interfaces.

Univalence From Scratch ⭐ 15

Univalence from scratch in Idris

Idris Refined ⭐ 15

Port of Scala/Haskell Refined library to Idris

Elemental Magicks ⭐ 14

Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!

Gpif Idris ⭐ 14

Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.

Toml Idr ⭐ 14

A TOML parser for Idris 2

Text framework for Idris

Idris2 Ocaml ⭐ 14

OCaml backend for Idris2

Software engineering and artificial general intelligence blog of Răzvan Flavius Panda

Idris2 Rhone ⭐ 14

An arrowized FRP library for Idris with static safety guarantees.

Ncurses Idris ⭐ 14

A hobby implementation of an ncurses binding for Idris 2

Idris Xml ⭐ 14

A simple XML module for Idris.

Idris2 Clibs ⭐ 14

Idris 2 bindings to various C libraries

Idris Webgl ⭐ 14

WebGL bindings for Idris.

Idris2 Tailrec ⭐ 14

Provably total, tail-call optimized monadic recursion in Idris2

Modal Types ⭐ 13

Experiments with modal types

Lightclick ⭐ 13

LightClick is a linearly typed orchestration language for Systems-on-a-Chip Designs that supports lightweight dependent types in the form of domain-specific indexed-types.

Idris Pong ⭐ 13

A browser Pong game, taking advantage of Idris's ability to compile to javascript.

Dependable Data Structures ⭐ 13

Experiments in implementing functional data structures in Idris

Categories ⭐ 13

Category Theory

Gl Idris ⭐ 13

Pg Idris ⭐ 13

Beginnings of a Postgres client for Idris 2

Idris Version Manager

Idris Code Highlighter ⭐ 13

A semantic highlighter for Idris code

Idris2 Json ⭐ 13

Automatically derivable JSON marshallers in the spirit of Haskell's aeson

Tm Proposer Idris ⭐ 13

Formalization of Tendermint proposer election properties

Tutorials ⭐ 12

Materials for MI-AFP course tutorials

Idris Graphql ⭐ 12

Idris Ffi Example ⭐ 12

A minimal example of the Idris C FFI

Dependently typed core calculus with erasure

Idris Profunctors ⭐ 12

A small profunctor library for idris

Idris2 Table ⭐ 12

A table library for Idris 2

Http4idris ⭐ 12

An experimental HTTP framework for Idris

Seqdecprobs ⭐ 11

Quick Backend ⭐ 11

Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-code

Idris Clean ⭐ 11

A priliminary backend for Idris that compiles to Clean.

Linear lenses in Blodwen

Features of the Future

Velo Lang ⭐ 10

Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.

Idris Dimensions ⭐ 10

Dimensions library in Idris

Idris Httpclient ⭐ 10

A http client for Idris based on libcurl

Idris2 Python ⭐ 10

A Python backed for Idris 2

Sdl2 Idris ⭐ 10

SDL2 Bindings for the Idris programming language

Idris2 Rust ⭐ 10

Idris2 Rust backend

Idris Elm ⭐ 9

The Elm architecture ported to Idris Programming language

Desc N Crunch ⭐ 9

Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.

Idris Bytes ⭐ 9

FFI-based byte buffers for Idris

Dependently Typed Extensible Records with Prototypal Inheritance

Game Idris ⭐ 9

A game in Idris

Experiments ⭐ 9

Capable Lang ⭐ 9

A small imperative language with ML-style references to play with CHERI Capabilities & Session-Types.

The steam powered Idris package manager

Idris libraries for type safe (variational) quantum programming

Idris2 Prim ⭐ 9

Axioms and Propositions for Primitives in Idris2

Idrisregexp ⭐ 9

Regular expression matching in Idris

Idris2 Curl ⭐ 9

libcurl bindings for idris2

Idris.yaml ⭐ 9

Idris2 Elab Deriving ⭐ 9

implementation deriving for idris2

Csd Utwente ⭐ 9

Certified Software Development with Dependent Types in Idris

Talks that I have given

Uniontype ⭐ 8

UnionType in Idris

Verified Integer Gaussian Elimination ⭐ 8

Idris package defining, implementing, and verifying naiive Gaussian elimination over the integers in some system of linear algebra.

Rules_idris ⭐ 8

Idris rules for Bazel

Idris Fiamma ⭐ 8

Generate HTML from idris

Linear Circuits ⭐ 8

Linear Circuits but not as we know it: Using Linear Types to enforce wiring decisions.

Idris2 Sarray ⭐ 7

Immutable Size Indexed Arrays

Idris2 Mlf ⭐ 7

Malfunction backend for Idris 2

Idris Argparse ⭐ 7

A simple argument parser written in Idris.

Idris Logic ⭐ 7

Propositional logic tools, inspired by the Coq standard library.

Olaf Lang ⭐ 7

a little category theory in Idris

dependently typed Statebox (heavy WIP)

Deptycheck ⭐ 7

Facilities for generating dependently-typed data

Idris2 Streaming ⭐ 7

Effectful Streaming for Idris

Strongly Typed Paths for Idris

A client-server Haskell implementation of an old boardgame

Misc playground and random stuff

Idris2 Parser ⭐ 6

Total lexer and parser for Idris2

Great Library Of Idris ⭐ 6

A crowd-sourced list of papers using Idris

Probabilistic music composition in Idris2

Idris Monadic Parser ⭐ 6

Idris Commonmark ⭐ 6

Idris wrapper for jgm's Markdown parser

Explicit substitution calculi

Tapl Idris ⭐ 6

Idris Vdom ⭐ 6

Virtual DOM in pure Idris

Cairo Idris ⭐ 6

Idris Bindings for libcairo

Idris2 Coop ⭐ 6

A library for simple concurrency without parallelism

Idr Logical Foundations ⭐ 6

Logical Foundations in Idris

Idris2 Extras ⭐ 6

Some extra utilities for programming in Idris 2.

Hyperon Pln ⭐ 5

Hyperon port of PLN

Type Driven Develop ⭐ 5

Exercise Solution for the book Type Driven Development with Idris

Sel4 Idris Apps ⭐ 5

Example of Idris applications running on the seL4 microkernel

Dev In Docker ⭐ 5

A complete development environment for your favorite language, in Docker

Idris proofs for extensional equalities

Related Searches

Types Idris (46)

Idris Dependent Types (36)

Haskell Idris (31)

Language Idris (16)

Idris Idris2 (15)

101-200 of 213 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.