Artturin
0 followers · 1 following
  • Joined on 2025-01-03
Repositories
1
 Projects Packages Public activity Starred repositories
Artturin created repository Artturin/RiscV-Formal 2025-02-21 14:48:46 +00:00
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-02-13 16:05:59 +00:00
3a3bc563bf syntax highlight
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-02-13 16:03:49 +00:00
3566b059d0 syntax highlight
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-02-13 15:27:34 +00:00
Artturin created pull request Yehowshua/bluespec-docs#3 2025-02-13 15:22:52 +00:00
WIP: Flake and Theme
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-02-13 15:19:56 +00:00
e6d1f4d10f Use archie-zola and add script to update it
cec4c4f0bf Add archie-zola
be87b388ab Add flake and fix config.toml
218f422b9a Mark themes vendored
Compare 4 commits »
Artturin pushed to main at Yehowshua/bluespec-docs 2025-02-13 15:19:07 +00:00
218f422b9a Mark themes vendored
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-02-13 15:18:02 +00:00
dc0f5068b2 Use archie-zola and add script to update it
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-02-13 15:14:45 +00:00
ff6f6916b3 Use archie-zola and add script to update it
ae394178c3 Add archie-zola
231731cd6d Add flake and fix config.toml
Compare 3 commits »
Artturin created branch flakeandtheme in Yehowshua/bluespec-docs 2025-02-13 15:14:45 +00:00
Artturin closed pull request ReferenceProjects/fpga-starter-project-uart#1 2025-02-03 23:11:59 +00:00
Add flake
Artturin created pull request ReferenceProjects/fpga-starter-project-uart#2 2025-02-03 23:11:46 +00:00
Add default.nix and shell.nix
Artturin created branch adddefaultshellnix in ReferenceProjects/fpga-starter-project-uart 2025-02-03 23:09:41 +00:00
a3191e4b7d Add default.nix and shell.nix
Artturin commented on pull request ReferenceProjects/example-spa-elm-app#6 2025-01-31 15:13:36 +00:00
Hot reload for Elm application
  • Hot reload is exposed at port 8000 (different from rust backend running at port 8080)
  • Only available in debug mode i.e. make serve DEBUG=1

The is not ideal as web sockets…

Artturin commented on pull request ReferenceProjects/example-spa-elm-app#6 2025-01-31 15:09:20 +00:00
Hot reload for Elm application

So you're technically not supposed to install things inside nix build files that require internet access. To fix this, we should either use [elmPackages.elm-live](https://search.nixos.org/package…

Artturin pushed to master at NixPackages/tt-flake 2025-01-29 18:07:21 +00:00
65d7bef16d {smi,tools-common}: pin textual
2245c9c5ea smi: Add test
Compare 2 commits »
Artturin pushed to master at NixPackages/tt-flake 2025-01-29 17:34:47 +00:00
f18aa5fee2 tools-common: Use version needed by tt-smi
Artturin pushed to master at NixPackages/tt-flake 2025-01-29 17:07:40 +00:00
31f0cee50d {luwen,pyluwen,flash,smi}: Update and drop pyluwen_0_1
Artturin pushed to master at NixPackages/tt-flake 2025-01-29 16:01:55 +00:00
ba96c32479 {kmd,smi,tools-common}: Update