TopGit
GITHUB SNAPSHOT

be5invis/idris-codegen-es

be5invis/idris-codegen-es
BTopGit repo profile image for be5invis/idris-codegen-es
TopGit repo profile for be5invis/idris-codegen-es, with GitHub repository stats and README context.
Stars
★ 54
Forks
⑂ 2
Language
Haskell
Topic
—
License
—
Updated
8.2y ago
Contributors
—
Homepage
—
View on GitHub ↗
QUICK VERDICT

An open-source entry in TopGit's GitHub warehouse: be5invis/idris-codegen-es, 54 stars, Haskell. Optimized JS codegen for Idris

Snapshot summary built from the project's own GitHub metadata — there's no written TopGit review yet. The page will update automatically when a full review is published.

WHY NO REVIEW YET

TopGit writes full reviews for the most-starred, most-requested repositories. This page is a snapshot until then — see the READ ME tab for the original README in full.

Snapshot

Stars★ 54
Forks⑂ 2
LanguageHaskell
Topic—
License—
Homepage—

Read our review methodology ↗

Top contributors

Show top contributors
Top 21 contributors to be5invis/idris-codegen-es

Related repositories

codecrafters-io/build-your-own-x

Master programming by recreating your favorite technologies from scratch.

★ 557.7k
sindresorhus/awesome

A curated meta-list of curated lists organized by technology domain. The repository acts as a directory pointing to hundreds of specialized awesome lists covering programming languages, platforms, frameworks, and tooling. All content is community-contributed under the CC0 public domain dedication.

★ 529.7k
public-apis/public-apis

Public APIs is a community-curated GitHub repository listing free, publicly accessible APIs across a wide range of categories, with auth type, HTTPS, and CORS noted for each entry. It's a browsable reference, not a library to install.

★ 494.8k
freeCodeCamp/freeCodeCamp

freeCodeCamp is a free, self-paced curriculum for learning to code, published as open source at freeCodeCamp/freeCodeCamp. It's a 501(c)(3) nonprofit funded by donor support, structured around six certifications in its Full-Stack Developer Curriculum, each gated by required projects instead of open-book quizzes. The repository also carries beta language certifications for developers, interview-prep resources, and the code that runs the live freecodecamp.org platform.

★ 458.2k
FREQUENTLY ASKED

Quick answers

Does be5invis/idris-codegen-es have any tags?

TopGit's last sync did not record any GitHub topics for be5invis/idris-codegen-es. GitHub topics appear in the right sidebar of a repository page; that's the authoritative place to check.

How active is development on be5invis/idris-codegen-es?

The most recent commit recorded on be5invis/idris-codegen-es was 8.2 years ago, based on the GitHub push timestamp. The repository has 2 forks — one of the better signals of community interest.

How many stars does be5invis/idris-codegen-es have?

be5invis/idris-codegen-es has 54 GitHub stars — refresh the page for the live number, or check github.com/be5invis/idris-codegen-es. TopGit mirrors GitHub's count but does not claim minute-by-minute accuracy.

What is be5invis/idris-codegen-es?

be5invis/idris-codegen-es (be5invis/idris-codegen-es) is a Haskell project on GitHub. From the project's own README: Optimized JS codegen for Idris

What language is be5invis/idris-codegen-es written in?

be5invis/idris-codegen-es is written primarily in Haskell. GitHub's language field is based on the largest share of bytes in the default branch.

Read full README in the tab above.

Want a second opinion on idris-codegen-es?

Ask an AI that can read this page — one click and you get its take on idris-codegen-es.

Ask ChatGPTAsk ClaudeAsk PerplexityAsk Google AI ModeAsk KimiAsk Grok
GitHub