{"id":41150490,"url":"https://github.com/jiribenes/effekt-nix","last_synced_at":"2026-01-22T19:05:23.523Z","repository":{"id":72736344,"uuid":"541638516","full_name":"jiribenes/effekt-nix","owner":"jiribenes","description":"Nix package for the Effekt programming language","archived":false,"fork":false,"pushed_at":"2026-01-12T07:31:56.000Z","size":228,"stargazers_count":9,"open_issues_count":15,"forks_count":2,"subscribers_count":2,"default_branch":"main","last_synced_at":"2026-01-12T17:39:06.095Z","etag":null,"topics":["effekt","effekt-lang","nix","nix-flake"],"latest_commit_sha":null,"homepage":"","language":"Nix","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/jiribenes.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,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2022-09-26T14:51:01.000Z","updated_at":"2026-01-12T07:31:59.000Z","dependencies_parsed_at":null,"dependency_job_id":"d1015859-a231-4317-ba2a-b92949975e86","html_url":"https://github.com/jiribenes/effekt-nix","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/jiribenes/effekt-nix","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jiribenes%2Feffekt-nix","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jiribenes%2Feffekt-nix/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jiribenes%2Feffekt-nix/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jiribenes%2Feffekt-nix/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jiribenes","download_url":"https://codeload.github.com/jiribenes/effekt-nix/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jiribenes%2Feffekt-nix/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28668840,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-22T17:07:18.858Z","status":"ssl_error","status_checked_at":"2026-01-22T17:05:02.040Z","response_time":144,"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":["effekt","effekt-lang","nix","nix-flake"],"created_at":"2026-01-22T19:02:19.667Z","updated_at":"2026-01-22T19:05:23.517Z","avatar_url":"https://github.com/jiribenes.png","language":"Nix","funding_links":[],"categories":[],"sub_categories":[],"readme":"# effekt-nix\n\n\u003e [!NOTE]\n\u003e Contributions are very welcome, see Contributing section below! :)\n\nA comprehensive Nix flake for the [Effekt programming language](https://github.com/effekt-lang/effekt).\n\n## Features\n\n- pre-packaged Effekt compiler releases for all platforms supported by Nixpkgs, and for any subset of Effekt's backends\n- building the Effekt compiler from source or from a GitHub Release\n- pre-made development shells with Effekt compiler releases and for Effekt compiler development\n- Nix toolchain to build, test, and package apps written in Effekt\n\n## Quick Start\n\n\u003cdetails\u003e\n  \u003csummary\u003e\u003cb\u003eI want to quickly run Effekt!\u003c/b\u003e\u003c/summary\u003e\n\n  Great! Here's how you run the latest released version of Effekt:\n  ```sh\n  # run Effekt REPL\n  nix run github:jiribenes/effekt-nix\n\n  # run the latest version of the Effekt compiler on a file (with default backend)\n  nix run github:jiribenes/effekt-nix -- file.effekt\n\n  # run the latest version of the Effekt compiler on a file with the LLVM backend\n  nix run github:jiribenes/effekt-nix -- --backend llvm file.effekt\n\n  # run a specific version of the Effekt compiler\n  nix run github:jiribenes/effekt-nix#effekt_0_3_0 -- --help\n  ```\n\n\u003c/details\u003e\n\n---\n\n\u003cdetails\u003e\n  \u003csummary\u003e\u003cb\u003eI want to quickly play with Effekt!\u003c/b\u003e\u003c/summary\u003e\n\n  Sure, let's get you a devshell in which you can just call `effekt` then:\n  ```sh\n  # a shell with the latest Effekt version\n  nix develop github:jiribenes/effekt-nix\n\n  # a shell with a specific Effekt version\n  nix develop github:jiribenes/effekt-nix#effekt_0_3_0\n\n  # ADVANCED: a shell for developing the Effekt compiler\n  nix develop github:jiribenes/effekt-nix#compilerDev\n  ```\n\n  You can use this -- for example -- for benchmarking or for working with LSP support in VSCode.\n\n\u003c/details\u003e\n\n---\n\n\u003cdetails\u003e\n  \u003csummary\u003e\u003cb\u003eI want to quickly install Effekt on my machine!\u003c/b\u003e\u003c/summary\u003e\n\n  Alright, let's install Effekt on your machine so that you can call `effekt` at any time:\n  ```sh\n  # install latest version of Effekt\n  nix profile install github:jiribenes/effekt-nix\n  ```\n\n\u003c/details\u003e\n\n---\n\n\u003cdetails\u003e\n  \u003csummary\u003e\u003cb\u003eI want to quickly build Effekt on my machine!\u003c/b\u003e\u003c/summary\u003e\n\n  _... okay, I guess? ..._\n  ```sh\n  # builds the latest version of Effekt\n  nix build github:jiribenes/effekt-nix\n  ```\n\n  The result of the build is in the `result/` folder (the binary is in `result/bin/`).\n\n\u003c/details\u003e\n\n---\n\n\u003cdetails\u003e\n  \u003csummary\u003e\u003cb\u003eI want to create a new Effekt project!\u003c/b\u003e\u003c/summary\u003e\n\nYou can use this Nix flake directly, but there's also a full template with CI available in [`jiribenes/effekt-template`](https://github.com/jiribenes/effekt-template).\n\n\u003c/details\u003e\n\n## Example: packaging an app written in Effekt\n\n```nix\n{\n  inputs.effekt-nix.url = \"github:jiribenes/effekt-nix\";\n  \n  outputs = { self, nixpkgs, effekt-nix }:\n    let\n      system = \"x86_64-linux\"; # or \"aarch64-darwin\" if you're on a M1\n      pkgs = nixpkgs.legacyPackages.${system};\n      effekt-lib = effekt-nix.lib.${system};\n\n      # You can set a fixed Effekt version and your supported backends here:\n      effektVersion = \"0.3.0\";\n      backends = with effekt-lib.effektBackends; [ js llvm ];\n    in {\n      # A package for your Effekt project\n      packages.${system}.default = effekt-lib.buildEffektPackage {\n        pname = \"my-effekt-project\";\n        version = \"1.0.0\";\n        src = ./.;               # Path to your Effekt project\n        main = \"./main.effekt\";  # the main Effekt file to run\n\n        inherit effektVersion backends;\n      };\n\n      # Development shell for your project\n      devShell.${system}.default = effekt-lib.mkDevShell {\n        inherit effektVersion backends;\n      };\n    };\n}\n```\n\nHere's a breakdown of `buildEffektPackage`'s arguments:\n\n- `pname`: The name of your package.\n- `version`: The version of your package.\n- `src`: The source directory of your Effekt project.\n- `main`: The main Effekt file to compile.\n- `tests`: (Optional) A list of test files to run during the build process.\n- `effekt`: (Optional) A specific Effekt derivation to use. If not provided, it uses the version specified by `effektVersion`.\n- `effektVersion`: The version of Effekt to use (defaults to the latest version).\n- `backends`: A list of backends to compile your project with. The first backend in the list is considered the default.\n- `buildInputs`: (Optional) Additional build inputs required for your package.\n\nThe function will compile your project with all specified backends and create a binary for each.\nIt also sets up a symbolic link to the default backend's binary under the `pname`.\n\n`effekt-nix` also supports multiple platforms. Use `flake-utils` and its `flake-utils.lib.eachDefaultSystem` (or alternatives)\nto define outputs for multiple systems at the same time.\n\n### Using a custom Effekt compiler build for your app\n\n```nix\n{\n  inputs.effekt-nix.url = \"github:jiribenes/effekt-nix\";\n  \n  outputs = { self, nixpkgs, effekt-nix }:\n    let\n      system = \"x86_64-linux\";\n      pkgs = nixpkgs.legacyPackages.${system};\n      effekt-lib = effekt-nix.lib.${system};\n      \n      # Define your own Effekt build from source:\n      myCustomEffekt = effekt-lib.buildEffektFromSource {\n        # ... by defining the path to your compiler source here:\n        src = ./path/to/effekt/compiler/source;\n        backends = with effekt-lib.effektBackends; [ js llvm ];\n      };\n    in {\n      packages.${system}.default = effekt-lib.buildEffektPackage {\n        pname = \"my-custom-effekt-project\";\n        version = \"1.0.0\";\n        src = ./.;                           # Path to your Effekt project\n        main = \"./src/main.effekt\";          # path to the entrypoint\n        tests = [ \"./src/mytest.effekt\" ];   # path to the tests\n\n        effekt = myCustomEffekt;\n      };\n\n      devShell.${system}.default = effekt-lib.mkDevShell {\n        effekt = myCustomEffekt;\n      };\n    };\n}\n```\n\n## Contributing\n\nContributions of all kinds are very welcome, feel free to just create a PR.\n\nWe would especially welcome contributions fixing the various [issues](https://github.com/jiribenes/effekt-nix/issues) this project has\nand/or with the [WIP PRs](https://github.com/jiribenes/effekt-nix/pulls) that aren't done yet.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjiribenes%2Feffekt-nix","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjiribenes%2Feffekt-nix","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjiribenes%2Feffekt-nix/lists"}