BartAdv/idris-cil
A Common Intermediate Language backend for Idris.
Public GitHub Catalog
Discovered Oct 21, 2026
BartAdv / purescript-react-bootstrap
Purescript bindings for react-bootstrap components
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#42308692GitHub System ID
BartAdvOrganization / User
PublicVisibility
ActiveCatalog Status
More from BartAdv
BartAdv/purescript-react
React Bindings for PureScript
BartAdv/pulp
A build system and package manager for PureScript projects
BartAdv/elm-architecture-tutorial
How to create modular Elm code that scales nicely with your app