yurrriq/advent-of-code

Semi-literate polyglot solutions to Advent of Code problems.

Language: Haskell - Size: 1.96 MB - Last synced: 8 days ago - Pushed: 8 days ago - Stars: 4 - Forks: 1

namanhd/idris2-proj

insertion sort and bubble sort implementations carrying proofs of correctness

Language: Idris - Size: 24.4 KB - Last synced: 9 days ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

awesomo4000/awesome-provable

A curated set of links to formal methods involving provable code.

Size: 25.4 KB - Last synced: 7 days ago - Pushed: over 2 years ago - Stars: 187 - Forks: 8

err0r500/dev-in-docker

A complete development environment for your favorite language, in Docker

Language: Emacs Lisp - Size: 54.7 KB - Last synced: 20 days ago - Pushed: almost 4 years ago - Stars: 4 - Forks: 0

ubaldop/vagrant-idris

Vagrant template for Idris

Language: Shell - Size: 8.79 KB - Last synced: 25 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 1

seanpm2001/SNU_2D_ProgrammingTools_IDE_Idris

The Idris Programming language IDE submodule for SNU Programming Tools (2D Mode)

Language: Idris - Size: 935 KB - Last synced: 29 days ago - Pushed: over 1 year ago - Stars: 4 - Forks: 2

righ1113/IshiiSan_Galois_Idris

『ガロア理論の頂を踏む』読書ノート

Language: Idris - Size: 40 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

joaomilho/awesome-idris

𝛌 Awesome Idris resources

Language: Idris - Size: 27.3 KB - Last synced: 7 days ago - Pushed: over 4 years ago - Stars: 381 - Forks: 19

vmchale/recursion_schemes

Recursion schemes for Idris

Language: Idris - Size: 182 KB - Last synced: 7 days ago - Pushed: almost 6 years ago - Stars: 63 - Forks: 5

yanhick/idris-exercises

exercises for the Idris book

Language: Idris - Size: 755 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

beholdnec/vek-snek-idris

Idris port of Vek Snek

Language: JavaScript - Size: 18.6 KB - Last synced: about 1 month ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

Double-oxygeN/Partition.idr

Integer Partition Implementation in Idris

Language: Idris - Size: 11.7 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

davidfstr/tic-tac-idris

Tic-tac-toe game written in Idris.

Language: Idris - Size: 133 KB - Last synced: about 1 month ago - Pushed: about 9 years ago - Stars: 1 - Forks: 0

cwgoes/ibc-idris-ref

Datatypes & reference algorithms for IBC, later to be converted into proofs.

Language: Idris - Size: 5.86 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

DjebbZ/learn-idris

Playground for learning Idris through "TDD with Idris"

Language: Idris - Size: 16.6 KB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

lagenorhynque/semantics-of-programming-languages

Study notes on semantics of programming languages & theorem proving

Language: Idris - Size: 14.6 KB - Last synced: about 1 month ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 0

xavdid/seven-more-languages

My solutions to the exercises in "Seven More Languages in Seven Weeks"

Language: Elixir - Size: 9.77 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

mmhelloworld/idris-jvm

JVM bytecode back end for Idris

Language: Idris - Size: 52.9 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 463 - Forks: 27

mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop

Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.

Language: Scala - Size: 270 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

cwgoes/tm-proposer-idris

Formalization of Tendermint proposer election properties

Language: Idris - Size: 55.7 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 16 - Forks: 1

caldwellb/idrisgrouptheory

Implementation of basic group theory in Idris

Language: Idris - Size: 10.7 KB - Last synced: 2 months ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

idris-hackers/software-foundations

Software Foundations in Idris

Language: Idris - Size: 4.25 MB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 446 - Forks: 34

expede/teaching-fp

Techniques, advice, and anecdotes about how to teach Functional Programming

Size: 85.9 KB - Last synced: 25 days ago - Pushed: over 7 years ago - Stars: 56 - Forks: 4

epicallan/learn-idris

Dependent Types

Language: Haskell - Size: 15.6 KB - Last synced: 2 months ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

berewt/live-coding

Repository for my live-coding sessions

Language: Idris - Size: 6.84 KB - Last synced: 2 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

appliedfm/growth-data

Measuring the growth of open source formal methods

Language: Python - Size: 36.6 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 4 - Forks: 0

stoand/kakoune-idris

Idris 2 IDE Protocol Integration for Kakoune

Language: JavaScript - Size: 43.9 KB - Last synced: 2 months ago - Pushed: about 2 years ago - Stars: 7 - Forks: 4

joom/hezarfen 📦

a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

Language: Idris - Size: 48.8 KB - Last synced: 3 months ago - Pushed: over 5 years ago - Stars: 118 - Forks: 3

vmchale/project-init

Project templates in rust

Language: Rust - Size: 76.1 MB - Last synced: 6 days ago - Pushed: 9 months ago - Stars: 138 - Forks: 13

edmundsmith/bfjit-idr

Brainfuck JIT/Compiler made with Idris

Language: Idris - Size: 35.2 KB - Last synced: 4 months ago - Pushed: almost 7 years ago - Stars: 2 - Forks: 1

tsani/jerrington.me

Blog & personal website

Language: Idris - Size: 5.47 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 16 - Forks: 4

elba/elba 📦

A package manager for Idris

Language: Rust - Size: 1.65 MB - Last synced: 6 days ago - Pushed: almost 4 years ago - Stars: 190 - Forks: 10

pascalpoizat/idris-book

examples and exercises in "Type-Driven Development with Idris"

Language: Idris - Size: 146 KB - Last synced: 3 months ago - Pushed: almost 6 years ago - Stars: 6 - Forks: 1

kowainik/idris-patricia

🌋 Idris implementation of patricia tree

Language: Idris - Size: 15.6 KB - Last synced: 3 months ago - Pushed: over 3 years ago - Stars: 22 - Forks: 1

yurrriq/blorg

C-c C-e P p >>=

Language: CSS - Size: 1.71 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 1

Miezhiko/BiSH

Idris 2 static web blog generator. More like proof of concept, everything could change, not sure if I will put more time into that but generally I'd keep this alive!

Language: Idris - Size: 41 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 11 - Forks: 0

Russoul/Nova

A programming language based on extensional Martin Lof Type Theory

Language: Idris - Size: 384 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

davidfstr/idris-insertion-sort

Provably correct implementation of insertion sort in Idris.

Language: Idris - Size: 5.86 KB - Last synced: about 1 month ago - Pushed: about 3 years ago - Stars: 28 - Forks: 4

conjunctive/idris-macros

Additional tools for editing Idris

Language: Emacs Lisp - Size: 12.7 KB - Last synced: 6 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

andreykl/learning-tparsec

just experiments with gallais paper

Language: Idris - Size: 12.7 KB - Last synced: 7 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

andreykl/tdd

type driven development with idris book samples

Language: Idris - Size: 60.5 KB - Last synced: 7 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 1

andorp/order-taking

Idris version of Domain Modeling Made Functional Book.

Language: Idris - Size: 397 KB - Last synced: 3 days ago - Pushed: over 2 years ago - Stars: 130 - Forks: 11

jean-zay-users/jean-zay-doc

Collaborative documentation for and from Jean Zay users. Official Jean Zay documentation: http://www.idris.fr/eng/jean-zay/

Size: 754 KB - Last synced: 7 months ago - Pushed: 10 months ago - Stars: 91 - Forks: 33

ilya-klyuchnikov/ttlite

A SuperCompiler for Martin-Löf's Type Theory

Language: Scala - Size: 1.5 MB - Last synced: 7 months ago - Pushed: over 2 years ago - Stars: 116 - Forks: 9

xgrommx/idris-ecosystem

Size: 32.2 KB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 47 - Forks: 3

gallais/idris-tparsec

TParsec - Total Parser Combinators in Idris

Language: Idris - Size: 244 KB - Last synced: 3 months ago - Pushed: 10 months ago - Stars: 92 - Forks: 11

seanpm2001/AI2001_Category-Source_Code-SC-Idris

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Idris category for AI2001, containing Idris programming language datasets

Language: R - Size: 2.45 MB - Last synced: 29 days ago - Pushed: 8 months ago - Stars: 2 - Forks: 1

bor0/gidti

Book: Introduction to Dependent Types with Idris

Size: 10.9 MB - Last synced: 3 months ago - Pushed: about 1 year ago - Stars: 73 - Forks: 4

Risto-Stevcev/idris-heyting-algebra

Interfaces for heyting algebras and verified bounded join and meet semilattices

Language: Idris - Size: 3.91 KB - Last synced: 15 days ago - Pushed: over 4 years ago - Stars: 5 - Forks: 0

zjhmale/vscode-idris

Idris for Visual Studio Code

Language: JavaScript - Size: 111 MB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 107 - Forks: 21

cpritcha/Idris-libpq

Idris wrapper for libpq

Language: C - Size: 4.88 KB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 5 - Forks: 2

bamboo/idris-cil

A Common Intermediate Language backend for Idris 1

Language: Haskell - Size: 381 KB - Last synced: 7 months ago - Pushed: over 5 years ago - Stars: 130 - Forks: 11

jaredloomis/Idris-HoTT

Homotopy Type Theory proofs in Idris

Language: Idris - Size: 3.91 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 20 - Forks: 1

curtisalexander/tdd-idris

Type Driven Development with Idris

Language: Idris - Size: 5.86 KB - Last synced: 9 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

Idrisvohra9/react-enigma-pin-lock

React UI/UX component library that displays a pin input field and a set of buttons. Used for authentication purposes enriched with many cool enigma capacities that makes it cherry on top.

Language: TypeScript - Size: 3.66 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

running-grass/idris2-tutorial-zh Fork of stefan-hoeck/idris2-tutorial

通过weblate翻译idris2教程

Language: Idris - Size: 1.07 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 8 - Forks: 2

eadm/rational-setoid

Setoid for rational numbers written in Idris

Language: Idris - Size: 12.7 KB - Last synced: 9 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

mcs0042/Orthogonal-Projection-Calculator

Calculates matrices of orthogonal projections onto subspaces of real vector spaces

Language: Idris - Size: 2.93 KB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

farhannysf/trismegistus

DEUS OMNIUM CREATOR SECUM DEUM FECIT VISIBILEM ET HUNC FECIT PRIMUM ET SOLUM QUO OBLECTATUS EST ET VALDE AMAVIT PROPRIUM FILIUM QUI APPELLATUR SANCTUM VERBUM

Language: JavaScript - Size: 464 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 2 - Forks: 0

antuneza/tdd-idris-book-exercises

Solutions to Exercises in Type-Driven Development with Idris

Language: Idris - Size: 26.4 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

JinWuZhao/idriscanvas

idris FFI binding for html5 canvas 2d api

Language: Idris - Size: 180 KB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 4 - Forks: 0

MikeMKH/talks

Talks that I have given

Language: C# - Size: 176 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 8 - Forks: 0

MikeMKH/kata

Used to store short program examples

Language: Racket - Size: 325 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

joom/edit-time-tactics

Documents (TeX, slides, poster etc.) for my master's thesis, titled "Edit-Time Tactics in Idris", and the TyDe '18 paper, titled "Extensible Type-Directed Editing"

Language: TeX - Size: 7.51 MB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 9 - Forks: 0

mrLSD/idris-docker

Idris language docker image builder

Language: Makefile - Size: 1.95 KB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

wsdjeg/vim-idris Fork of idris-hackers/idris-vim

idris support for SpaceVim

Language: Vim script - Size: 90.8 KB - Last synced: 10 months ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

ItsLastDay/idris-a-mazing

Exam project for "Programming with dependent types using Idris" course

Language: Idris - Size: 104 KB - Last synced: 10 months ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

Kazark/tyclgen

Type Class Generator for F# ... not as good as it sounds

Language: Idris - Size: 19.5 KB - Last synced: 10 months ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0

ltics/THH

explore the core TS specs

Language: Idris - Size: 59.6 KB - Last synced: 10 months ago - Pushed: almost 8 years ago - Stars: 1 - Forks: 0

ltics/sequent.idr

Language: Idris - Size: 1.95 KB - Last synced: 10 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

ltics/anatomy

Haskell like interpreter written in Idris

Language: Idris - Size: 19.5 KB - Last synced: 10 months ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

rpeszek/IdrisTddScalaNotes

Scala version of my Haskell/Idris IdrisTddNotes project

Language: Scala - Size: 6.84 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 2 - Forks: 1

rpeszek/IdrisTddNotes

Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell

Language: Haskell - Size: 834 KB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 47 - Forks: 5

rpeszek/idris-chain

Dependently typed blockchain experiments in Idris

Language: Idris - Size: 9.77 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

KeenS/idris-deriving

deriving facility for Idris

Language: Idris - Size: 81.1 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0

jdolson/univalence-from-scratch

Univalence from scratch in Idris

Language: Idris - Size: 2.93 KB - Last synced: 10 months ago - Pushed: about 6 years ago - Stars: 17 - Forks: 0

Chobbes/TypeTalk

Calvin Talks Types

Language: TeX - Size: 2 MB - Last synced: 10 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

marcesquerra/ibt

Idris Build Tool

Language: Idris - Size: 2.93 KB - Last synced: 10 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

jdevuyst/rekenaar 📦

Idris tactics for (commutative) monoids

Language: Idris - Size: 39.1 KB - Last synced: 10 months ago - Pushed: about 4 years ago - Stars: 20 - Forks: 1

0xd34df00d/idris2-indexed-vect

Indexed vectors for Idris!

Language: Idris - Size: 28.3 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 1 - Forks: 0

Risto-Stevcev/idris-catenable-lists 📦

A port of the purescript catenable-lists library in Idris

Language: Idris - Size: 15.6 KB - Last synced: 4 days ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 0

dgellow/idris-docker-image

Dockerfile and images for idris and idris2

Language: Dockerfile - Size: 12.7 KB - Last synced: 11 months ago - Pushed: almost 3 years ago - Stars: 5 - Forks: 1

jxv/fluid 📦

🐙 Code-generated, Auto-versioned, & Smart Web APIs

Language: PureScript - Size: 1.16 MB - Last synced: 11 months ago - Pushed: about 6 years ago - Stars: 37 - Forks: 3

ItsLastDay/academic_university_2016-2018

Code that I wrote during pursuing Master's degree at Saint-Petersburg Academic University in 2016-2018. Arranged by subjects that I studied.

Language: C++ - Size: 23.6 MB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 4 - Forks: 0

freeman42x/blog

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

Size: 63.5 KB - Last synced: 10 months ago - Pushed: almost 4 years ago - Stars: 18 - Forks: 2

doofin/differentiable-idris

dependent types meets deep learning

Language: Idris - Size: 51.8 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 41 - Forks: 7

danilkolikov/setoids

Idris proofs for extensional equalities

Language: Idris - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 6 - Forks: 1

danilkolikov/categories

Category Theory

Language: Idris - Size: 21.5 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 17 - Forks: 2

statebox/idris-stbx-core

Category theoretic semantics of glued open Petri nets in Idris

Language: Idris - Size: 980 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 1 - Forks: 1

MI-AFP/tutorials

Materials for MI-AFP course tutorials

Size: 353 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 12 - Forks: 2

running-grass/awesome-idris

Size: 11.4 MB - Last synced: 4 days ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

leostera/tap-idris

:beers: A simple TAP producer and consumer/reporter for Idris

Language: Idris - Size: 33.2 KB - Last synced: 24 days ago - Pushed: about 7 years ago - Stars: 4 - Forks: 0

jdevuyst/dependable-data-structures 📦

Experiments in implementing functional data structures in Idris

Language: Idris - Size: 49.8 KB - Last synced: 10 months ago - Pushed: almost 5 years ago - Stars: 14 - Forks: 2

ccfontes/faas-idris2

An OpenFaaS template for writing Functions in Idris 2.

Language: Idris - Size: 18.6 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

ioanluca/real-world-idris

Malfunction backend for Idris with a FFI to OCaml

Language: TeX - Size: 1.12 MB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 27 - Forks: 2

taktoa/Idris-dev Fork of idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

Language: Haskell - Size: 26.7 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 1 - Forks: 0

0xd34df00d/fizzbuzz-i

FizzBuzz, formally verified, provably correct

Language: Idris - Size: 28.3 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 23 - Forks: 0

lemastero/Idris-Applied-Category-Theory

Implementation of concepts from Applied Category Theory

Language: Idris - Size: 9.77 KB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

aatxe/cube.idr

An implementation of the Lambda Cube in Idris.

Language: Idris - Size: 30.3 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 7 - Forks: 0

cannor147/itmo-tt

Type Theory course at ITMO University

Language: Java - Size: 198 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0