LeifW/vim-IdrisConceal
Makes idris code look pretty in vim
Public GitHub Catalog
Discovered Sep 25, 2026
LeifW / Predicates
A small library to add some convenience methods to Scala encompassing predicate logic
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#5473907GitHub System ID
LeifWOrganization / User
PublicVisibility
ActiveCatalog Status
More from LeifW
LeifW/scala-arm
This project aims to be the Scala Incubator project for Automatic-Resource-Management in the scala library
LeifW/pdxscala.github.com
PDXScala
LeifW/trifecta
Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink