archaeron

idris-fiamma

Generate HTML from idris

purescript-yaml-next

Talks

purescript

A small strongly typed language that compiles to Javascript

vscode-idris-highlighting

Highlights Idris code in VSCode

.home

aeson-diff

Generate and apply diffs between JSON documents.

atom-language-idris

A Idris Mode for Atom.io

atom-language-idris-tests

downlords-faf-client

Official client for Forged Alliance Forever

elm-pretty-print

combinators for pretty printing based on available width

Idris-dev

A Dependently Typed Functional Programming Language

idris-ipkg

idris-json-rpc

JSON-RPC 2.0 in Idris

Idris2

A purely functional programming language with first class types

IdrisNet2

A proper network library for Idris, now that I know what I'm doing.

mmaclone

A simple Mathematica clone in Haskell

nixpkgs

Nix Packages collection

nushell

A new type of shell

patat

Terminal-based presentations using Pandoc

purescript-ace-halogen

A Halogen component for the Ace editor.

purescript-dotlang

DotLang datatypes for purescript

purescript-eulalie

String parser combinators for PureScript.

purescript-markdown

A Purescript library for parsing SlamData's dialect of Markdown.

talks-1

typesafe-react-router

Utility functions to help facilitate type-safe routing with react-router

typescript-idris-ide

talk to idris via the idris IDE-protocol in typescript

typescript-testcase

vscode-idris-language-server

vscode-tabularize