Artturin
0 followers · 1 following
  • Joined on 2025-01-03
Repositories
1
 Projects Packages Public activity Starred repositories
Artturin created pull request Yehowshua/RiscV-Formal#4 2025-02-22 20:38:15 +00:00
Add flake
Artturin pushed to addnix at Artturin/RiscV-Formal 2025-02-22 20:37:59 +00:00
fa03829139 Use newer ghc
783ec90a45 Remove stack.yaml
67fcd15f42 After make clean and make, this file changes
Compare 3 commits »
Artturin pushed to addnix at Artturin/RiscV-Formal 2025-02-22 20:33:30 +00:00
a8000f243a Use newer ghc
821a25da8b Remove stack.yaml
14582dc1c3 After make clean and make, this file changes
9c0bc141f0 hello_world: Use nixpkgs target prefix
eb77c50eb2 hello_world: Fix stat with coreutils(linux)
Compare 7 commits »
Artturin pushed to addnix at Artturin/RiscV-Formal 2025-02-22 20:32:41 +00:00
6c97113835 Use newer ghc
3e12f4c164 Remove stack.yaml
4adcca26f0 Add flake
Compare 3 commits »
Artturin pushed to addnix at Artturin/RiscV-Formal 2025-02-22 20:17:06 +00:00
f9a6acd4b2 Remove stack.yaml
d8e6e6daa2 Add flake
264438ef3a After make clean and make, this file changes
e7cdc3e339 hello_world: Use nixpkgs target prefix
a956a58325 hello_world: Fix stat with coreutils(linux)
Compare 7 commits »
Artturin created branch addnix in Artturin/RiscV-Formal 2025-02-22 20:17:06 +00:00
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