engboris / stellogen

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

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

RepositoryStats indexes 618,350 repositories, of these engboris/stellogen is ranked #322,089 (48th percentile) for total stargazers, and #382,403 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #366/723.

Other Information

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

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

Star History

Github stargazers over time

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

Watcher History

Github watchers over time, collection started in '23

5555554.54.544444408 Jan08 Jan16 Jan16 Jan24 Jan24 JanFeb '25Feb '2508 Feb08 Feb16 Feb16 Feb

Recent Commit History

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

250250200200150150100100505000Jun '23Jun '23Jul '23Jul '23Aug '23Aug '23Sep '23Sep '23Oct '23Oct '23Nov '23Nov '23Dec '23Dec '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25

Yearly Commits

Commits to the default branch (master) per year

9090808070706060505040403030202010100020242024

Issue History

Total Issues
Open Issues
Closed Issues
40403535303025252020151510105500Dec '24Dec '2408 Jan08 Jan16 Jan16 Jan24 Jan24 JanFeb '25Feb '2508 Feb08 Feb16 Feb16 Feb

Languages

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

OCamlOCamlNixNixDuneDuneVim ScriptVim ScriptMakefileMakefile

updated: 2025-02-21 @ 06:40pm, id: 635733358 / R_kgDOJeSFbg