{"id":13787740,"url":"https://github.com/discus-lang/ddc","last_synced_at":"2026-03-06T10:32:09.843Z","repository":{"id":4780145,"uuid":"5932153","full_name":"discus-lang/ddc","owner":"discus-lang","description":"The Disco Discus Compiler","archived":false,"fork":false,"pushed_at":"2019-02-06T03:00:24.000Z","size":51786,"stargazers_count":176,"open_issues_count":1,"forks_count":19,"subscribers_count":24,"default_branch":"master","last_synced_at":"2025-12-20T03:54:04.350Z","etag":null,"topics":["capabilities","compiler","effects","experimental","functional","language","regions"],"latest_commit_sha":null,"homepage":"http://discus-lang.org","language":"Haskell","has_issues":false,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/discus-lang.png","metadata":{"files":{"readme":"Readme.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2012-09-24T09:11:06.000Z","updated_at":"2025-12-01T23:06:30.000Z","dependencies_parsed_at":"2022-09-21T00:42:43.067Z","dependency_job_id":null,"html_url":"https://github.com/discus-lang/ddc","commit_stats":null,"previous_names":[],"tags_count":5,"template":false,"template_full_name":null,"purl":"pkg:github/discus-lang/ddc","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/discus-lang%2Fddc","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/discus-lang%2Fddc/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/discus-lang%2Fddc/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/discus-lang%2Fddc/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/discus-lang","download_url":"https://codeload.github.com/discus-lang/ddc/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/discus-lang%2Fddc/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30171869,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-06T07:56:45.623Z","status":"ssl_error","status_checked_at":"2026-03-06T07:55:55.621Z","response_time":250,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"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":["capabilities","compiler","effects","experimental","functional","language","regions"],"created_at":"2024-08-03T21:00:29.586Z","updated_at":"2026-03-06T10:32:09.808Z","avatar_url":"https://github.com/discus-lang.png","language":"Haskell","readme":"# The Disco Discus Compiler [![Build Status](https://travis-ci.org/discus-lang/ddc.svg?branch=master)](https://travis-ci.org/discus-lang/ddc)\n\nThe Discus language is an experimental dialect of Haskell which investigates\nstatic typing and program transformation in the presence of computational effects.\nThe compiler (DDC) is currently \"working alpha\" quality, meaning there is a\ncomplete system that can be hacked around with, but it’s not yet industrial strength.\n\n\n## Features\n\n* Haskell-like source language, so Haskell-like programs should work with minor modifications.\n\n* Modal region and effect system using ‘box’ and ‘run’ to suspend and force computations.\n\n* Higher rank polymorphism with bidirectional type inference.\n\n* Simple two space copying garbage collection.\n\n* Default call-by-value evaluation.\n\n* Typed external core language.\n\n\n## Show Me Code\n\nCheck out the\n[Demos](https://github.com/discus-lang/ddc/tree/master/test/ddc-demo/source/Discus),\n[List Library](https://github.com/discus-lang/ddc/blob/master/src/s2/base/Data/List.ds), and\n[Text Implementation](https://github.com/discus-lang/ddc/blob/master/src/s2/base/Data/Text/Base.ds)\nin the source tree. The Demos are simple programs. The List Library demonstrates effect polymorphism, and the Text\nimplementation demonstrates use of private regions and capabilities.\n\nLarger programs like a [Ray Tracer](http://disciple-devel.blogspot.com.au/2017/07/ray-tracer-demo.html)\nare described on the [blog](http://disciple-devel.blogspot.com.au/).\n\n\n## Let Me Hack\n\nSee the [Getting Started](http://discus-lang.org/section/01-GettingStarted.html) guide\non the home page.\n\n\n## More Information\n\nHome Page:              http://discus-lang.org\n\nThe GitHub site:        http://github.com/discus-lang/ddc\n\nDevelopment Wiki:       http://trac.discus-lang.org\n\nDevelopment Blog:       http://blog.discus-lang.org\n\nMailing List:           https://groups.google.com/forum/#!forum/discus-lang\n","funding_links":[],"categories":["Functional"],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdiscus-lang%2Fddc","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdiscus-lang%2Fddc","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdiscus-lang%2Fddc/lists"}