{"id":13787709,"url":"https://github.com/aliceml/aliceml","last_synced_at":"2025-05-12T01:31:37.534Z","repository":{"id":18612355,"uuid":"21817729","full_name":"aliceml/aliceml","owner":"aliceml","description":"A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming","archived":false,"fork":false,"pushed_at":"2022-11-25T05:38:47.000Z","size":10,"stargazers_count":212,"open_issues_count":13,"forks_count":17,"subscribers_count":17,"default_branch":"master","last_synced_at":"2024-11-18T01:39:12.168Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"http://www.ps.uni-saarland.de/alice/","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/aliceml.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2014-07-14T11:46:48.000Z","updated_at":"2024-11-04T23:32:18.000Z","dependencies_parsed_at":"2023-01-13T19:55:25.227Z","dependency_job_id":null,"html_url":"https://github.com/aliceml/aliceml","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aliceml%2Faliceml","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aliceml%2Faliceml/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aliceml%2Faliceml/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aliceml%2Faliceml/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/aliceml","download_url":"https://codeload.github.com/aliceml/aliceml/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":253659379,"owners_count":21943627,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-08-03T21:00:27.833Z","updated_at":"2025-05-12T01:31:37.178Z","avatar_url":"https://github.com/aliceml.png","language":null,"funding_links":[],"categories":["Functional"],"sub_categories":[],"readme":"Overview\n========\n\nAlice ML is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming. Alice ML extends Standard ML with several new features:\n\n* Futures: laziness and light-weight concurrency with implicit data-flow synchronisation\n* Higher-order modules: higher-order functors and abstract signatures\n* Packages: integrating static with dynamic typing and first class modules\n* Pickling: higher-order type-safe, generic \u0026 platform-independent persistence\n* Components: platform-independence and type-safe dynamic import \u0026 export of modules\n* Distribution: type-safe cross-platform remote functions and network mobility\n* Constraints: solving combinatorical problems using constraint propagation and programmable search \n\nMore about Alice ML is available from the original project page: http://www.ps.uni-saarland.de/alice/\n\nBuilding on Linux\n=================\n\nThe following packages were required to build on Ubuntu 19.10:\n\n    $ sudo apt-get install smlnj smlnj-runtime ml-lex ml-lpt ml-yacc     \n    $ sudo apt-get install g++ libsqlite3-dev libgtk2.0-dev libgmp-dev \\\n         gawk libtool libgnomecanvas2-dev gtk2-engines-pixbuf \\\n         libxml2-dev autoconf texinfo\n\nTo build:\n\n    $ git clone git://github.com/aliceml/aliceml\n    $ cd aliceml\n    $ git submodule init\n    $ git submodule update\n\n    $ cd make\n    $ make setup\n    #...add directory displayed to the PATH...\n    $ export PATH=/path/displayed/in/setup:$PATH\n    $ make all\n\nThe final system will be in the `distro` subdirectory and instructions are printed at the end of `make all` on how to add to the `PATH` and run.\n\nBuilding on Mac OS X\n====================\n\nSupport for building on Mac OS X is in the early stages and slightly more manual\nthan building on Linux due to errors I haven't worked out. Help from Mac OS X\nusers would be useful.\n\nThe following packages were used from [Homebrew](http://brew.sh):\n\n    $ brew install smlnj gmp libgnomecanvas gtk+ gawk\n\nTo build:\n\n    $ git clone git://github.com/aliceml/aliceml\n    $ cd aliceml/make\n    $ export PKG_CONFIG_PATH=/opt/X11/lib/pkgconfig:/usr/local/lib/pkgconfig\n    $ make setup\n    #...add directory displayed to the PATH...\n    $ export PATH=/path/displayed/in/setup:$PATH\n    $ make all\n\nOn my machine the `make all` fails some time in the build when compiling `NativeLibs.cc` with this error:\n\n    distro/bin/seamtool: line 63: echo: write error: Resource temporarily unavailable\n\nThe build can be continued with:\n\n    $ PATH=/path/to/aliceml/distro/bin:$PATH make -C ../alice/sources/lib/gtk/seam/\n    $ make all\n\nThe final system will be in the `distro` subdirectory and instructions are printed at the end of `make all` on how to add to the `PATH` and run.\n\nOriginal Source\n===============\n\nThis git repository was created by converting [Gareth Smith's mercurial repositories](https://bitbucket.org/gareth0) to git with minor bitrot fixes. Instructions for building Gareth's original code is from [a post on the Alice ML mailing list](http://www.ps.uni-saarland.de/pipermail/alice-users/2012/001042.html). Note that Gareth's repository contains many changes to the original [Alice ML CVS repository](http://www.ps.uni-saarland.de/alice/download.html) but is the only one I've found buildable on modern Linux systems.\n\nDuring the `make setup` process the source to [gecode](http://www.gecode.org) will be downloaded.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Faliceml%2Faliceml","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Faliceml%2Faliceml","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Faliceml%2Faliceml/lists"}