|
1410e50aa3
|
mjau
|
2024-04-08 21:06:21 +02:00 |
|
|
8be71c6d1c
|
ocaml template
|
2024-04-08 21:04:23 +02:00 |
|
|
a745c16de8
|
Merge remote-tracking branch 'refs/remotes/origin/main'
|
2024-03-16 23:42:37 +01:00 |
|
|
4642bafae1
|
FPGA flake
|
2024-03-16 23:41:51 +01:00 |
|
|
8d260e8e01
|
c2x
|
2024-03-13 23:39:21 +01:00 |
|
|
042af47d5f
|
c template using meson
|
2024-03-13 23:33:31 +01:00 |
|
|
a27820eb99
|
doh
|
2024-03-05 19:09:59 +01:00 |
|
|
11ed112837
|
julia devshell
|
2024-03-05 17:19:18 +01:00 |
|
|
ca26aaf782
|
idris2 template
|
2024-03-05 16:54:28 +01:00 |
|
|
d766c8434a
|
Change legacypackages to import nixpkgs
|
2024-02-01 19:56:41 +01:00 |
|
|
e9ff270f34
|
Make tychk-watch not use the nix path for current directory as it does not update when a file changes
|
2024-01-06 19:34:30 +01:00 |
|
|
8b28ffe2aa
|
Update sample code
|
2024-01-06 19:34:01 +01:00 |
|
|
60d813c804
|
Add mypy to python flake
|
2024-01-06 19:29:52 +01:00 |
|
|
51acaa3904
|
Add python to flake.nix
|
2023-12-06 20:09:14 +01:00 |
|
|
b8c95a37ef
|
Merge remote-tracking branch 'refs/remotes/origin/main'
|
2023-12-06 20:08:18 +01:00 |
|
|
b9eec2fbc9
|
Add python flake
|
2023-12-06 20:07:52 +01:00 |
|
|
efe70914bf
|
use specified python version for flake
|
2023-10-15 12:36:25 +02:00 |
|
|
c9c20cfde3
|
fix path to jupyter template
|
2023-10-15 12:29:58 +02:00 |
|
|
888ab89260
|
Add some commonly used python packages
|
2023-10-15 11:15:04 +02:00 |
|
|
b63934ea17
|
Add pandoc to PATH, nbconvert needs it sometimes
|
2023-10-15 11:14:53 +02:00 |
|
|
3ec62a28ad
|
Move buildPhase to installPhase
|
2023-10-13 17:09:55 +02:00 |
|
|
a8cda6e44f
|
Add .direnv to ignorefiles
|
2023-10-13 16:37:37 +02:00 |
|
|
ae6b9aa1ac
|
Jupyter flake
|
2023-10-13 15:57:53 +02:00 |
|
|
95b23c70b1
|
added haskell template to nix file
|
2023-10-13 11:01:58 +02:00 |
|
|
704b32de03
|
added haskell template
|
2023-10-12 22:04:55 +02:00 |
|
|
20d8b0dc0b
|
add envrc
|
2023-10-12 21:26:11 +02:00 |
|
|
296891da77
|
template → templates
|
2023-10-12 16:11:25 +02:00 |
|
|
eb5284741f
|
Rust template
|
2023-10-12 16:08:58 +02:00 |
|
|
57fd5c46b2
|
Update minimum
|
2023-10-12 16:05:00 +02:00 |
|
|
955c140868
|
Rust template
|
2023-10-12 16:04:21 +02:00 |
|
|
a6eff27454
|
Minimum template
|
2023-10-12 15:15:57 +02:00 |
|