Beluga-lang / Beluga

Contextual types meet mechanized metatheory!

Beluga-lang
Beluga-lang
Date Created 2015-05-14 (9 years ago)
Commits 5,070 (last one 7 months ago)
Stargazers 187 (0 this week)
Watchers 11 (0 this week)
Forks 16
License gpl-3.0
Ranking

RepositoryStats indexes 630,459 repositories, of these Beluga-lang/Beluga is ranked #196,988 (69th percentile) for total stargazers, and #185,859 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #204/730.

Beluga-lang/Beluga is also tagged with popular topics, for these it's ranked: ocaml (#108/297)

Other Information

Beluga-lang/Beluga has Github issues enabled, there are 65 open issues and 123 closed issues.

There have been 5 releases, the latest one was published on 2024-07-22 (8 months ago) with the name 1.1.2.

Homepage URL: http://complogic.cs.mcgill.ca/beluga/

Star History

Github stargazers over time

20020018018016016014014012012010010080806060404020200020162016201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

121212121111111111111010101020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

1,065 commits on the default branch (master) since jan '22

1.2k1.2k1k1k80080060060040040020020000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

60060050050040040030030020020010010000201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
20020018018016016014014012012010010080806060404020200020162016201720172018201820192019202020202021202120222022202320232024202420252025

Languages

The primary language is OCaml but there's also others...

OCamlOCamlTeXTeXEmacs LispEmacs LispShellShellRubyRubyStandard MLStandard MLCCMakefileMakefileCSSCSS

updated: 2025-03-14 @ 04:11am, id: 35614265 / R_kgDOAh9uOQ