engboris / stellogen

An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax

engboris
engboris
Date Created 2023-05-03 (about a year ago)
Commits 276 (last one 18 days ago)
Stargazers 99 (0 this week)
Watchers 4 (0 this week)
Forks 9
License gpl-3.0
Ranking

RepositoryStats indexes 632,768 repositories, of these engboris/stellogen is ranked #308,871 (51st percentile) for total stargazers, and #365,773 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #342/733.

Other Information

engboris/stellogen has Github issues enabled, there are 19 open issues and 20 closed issues.

Homepage URL: https://tsguide.refl.fr/en

Star History

Github stargazers over time

10010090908080707060605050404030302020101000Jun '23Jun '23Jul '23Jul '23Aug '23Aug '23Sep '23Sep '23Nov '23Nov '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Nov '24Nov '2420252025Feb '25Feb '25Apr '25Apr '25

Watcher History

Github watchers over time, collection started in '23

5555554.54.544444410 Jan10 Jan20 Jan20 JanFeb '25Feb '2510 Feb10 Feb20 Feb20 FebMar '25Mar '2510 Mar10 Mar20 Mar20 Mar

Recent Commit History

276 commits on the default branch (master) since jan '22

300300250250200200150150100100505000Jun '23Jun '23Jul '23Jul '23Aug '23Aug '23Sep '23Sep '23Nov '23Nov '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Nov '24Nov '2420252025Feb '25Feb '25Apr '25Apr '25

Yearly Commits

Commits to the default branch (master) per year

9090808070706060505040403030202010100020242024

Issue History

Total Issues
Open Issues
Closed Issues
40403535303025252020151510105500Dec '24Dec '2410 Jan10 Jan20 Jan20 JanFeb '25Feb '2510 Feb10 Feb20 Feb20 FebMar '25Mar '2510 Mar10 Mar20 Mar20 Mar

Languages

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

OCamlOCamlNixNixVim ScriptVim ScriptDuneDuneMakefileMakefile

updated: 2025-03-17 @ 10:42am, id: 635733358 / R_kgDOJeSFbg