UChicago-PL / smyth

Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

UChicago-PL
UChicago-PL
Date Created 2020-04-13 (4 years ago)
Commits 297 (last one 4 years ago)
Stargazers 54 (0 this week)
Watchers 3 (0 this week)
Forks 5
License mit
Ranking

RepositoryStats indexes 628,089 repositories, of these UChicago-PL/smyth is ranked #463,881 (26th percentile) for total stargazers, and #415,928 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #553/730.

Other Information

UChicago-PL/smyth has Github issues enabled, there are 12 open issues and 4 closed issues.

There have been 2 releases, the latest one was published on 2020-08-20 (4 years ago) with the name ICFP 2020 Final Release v1.

Homepage URL: https://uchicago-pl.github.io/smyth

Star History

Github stargazers over time

6060505040403030202010100020212021Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

4444443.53.533333315 Dec15 DecJan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 FebMar '25Mar '2515 Mar15 Mar

Recent Commit History

0 commits on the default branch (main) since jan '22

Inactive

No recent commits to this repository

Yearly Commits

Commits to the default branch (main) per year

30030025025020020015015010010050500020202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
16161414121210108866442200Jul '20Jul '2020212021Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

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

OCamlOCamlTeXTeXElmElmPythonPythonShellShellMakefileMakefileStandard MLStandard MLMATLABMATLAB

updated: 2025-03-07 @ 08:34am, id: 255215826 / R_kgDODzZI0g