mattpolzin

swift-test-codecov

Simple executable to produce code coverage numbers from the output of `swift test --enable-code-coverage`

swift-codecov-action

ncurses-idris

A hobby implementation of an ncurses binding for Idris 2

pg-idris

Beginnings of a Postgres client for Idris 2

idris-indexed

Indexed Functor/Applicative/Monad interfaces and helpers

MathMazer

A little fun with SwiftUI and a simple app for creating and playing Math Mazes

TransformEncoder

A Swift Encoder that performs transformations on Codable hierarchies.

idris-snocvect

SnocVect type and companions

JSONAPI-ResourceStorage

Two JSONAPI Resource storage modules.

discourse

A platform for community discussion. Free, open, simple.

idrall

Dhall bindings for Idris

idris-katla-action

idris-katla-example

idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

idris2-http

a http(s) client in idris

idris2-pack-db

idris2-pkgs

An unofficial Idris2 package repository for Nix

idris2-rhone-js

Experimental JS bindings for idris2-rhone

idris2-tls

A portable idris2 implementation of TLS

neorg

Modernity meets insane extensibility. The future of organizing your life in Neovim.

neovim

Vim-fork focused on extensibility and usability

nixos-overlay

NixOS on your MacBook 2018+ is now a reality.

node-libpq-bare

A barebones libpq wrapper for NodeJS. We're talking _zero_ JavaScript abstraction.

nvim-treesitter

Nvim Treesitter configurations and abstraction layer

puff

Sampleable

A lightweight protocol for describing types that can provide samples of themselves.

sirdi

Package manager for Idris

tree-sitter-authzed

Tree Sitter Grammer and Parser for Authzed Schema

vim

The official Vim repository

vite-plugin-elm

A plugin for Vite enables you to compile an Elm application/document/element