GitHub / eownerdead 1 Repository
eownerdead/effectful-microlens
microlens-mtl ported to effectful
Language: Nix - Size: 10.7 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
eownerdead/sf2tal
From system F to typed assembly language by Morrisett et al. in Haskell
Language: Haskell - Size: 124 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
eownerdead/nixpkgs Fork of NixOS/nixpkgs
[FORK] Nix Packages collection & NixOS
Language: Nix - Size: 4.29 GB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
eownerdead/nixland
Attempt to unify nixos, nix shell and build environments.
Language: Nix - Size: 20.5 KB - Last synced at: 5 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
eownerdead/eglot-semantic-tokens
Eglot Semantic Tokens support by Akib Azmain Turja (https://github.com/joaotavora/eglot/pull/839)
Language: Emacs Lisp - Size: 18.6 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1
eownerdead/fourmolu Fork of fourmolu/fourmolu
[FORK] A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
Size: 4.46 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
eownerdead/raytracing-hs
"Ray Tracing in One Weekend" in Haskell
Language: Haskell - Size: 15.6 KB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
eownerdead/nix Fork of NixOS/nix
[FORK] Nix, the purely functional package manager
Language: C++ - Size: 61.4 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
eownerdead/miniF2F Fork of facebookresearch/miniF2F
[FORK] An updated version of miniF2F with lots of fixes and informal statements / solutions.
Language: Objective-C++ - Size: 1.01 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
eownerdead/NUR Fork of nix-community/NUR
[FORK] Nix User Repository: User contributed nix packages [maintainer=@Mic92]
Language: Python - Size: 11.7 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
eownerdead/awesome-stylelint Fork of stylelint/awesome-stylelint
[FORK] A list of awesome Stylelint plugins, configs, etc.
Size: 74.2 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
eownerdead/nixified-ai Fork of nixified-ai/flake
[FORK] A Nix flake for many AI projects
Language: Nix - Size: 132 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
eownerdead/slambda
λ Untyped Lambda Calculus Evaluator
Language: Haskell - Size: 5.86 KB - Last synced at: 4 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
eownerdead/minicc
[ABANDONED] Subset C to AMD64 Compiler
Language: Rust - Size: 44.9 KB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
eownerdead/psd2svg Fork of kyamagu/psd2svg
[FORK] PSD to SVG converter.
Language: Python - Size: 649 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
eownerdead/nix-shell-container
`guix environment --container` equivalent in nix
Language: Nix - Size: 4.88 KB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
eownerdead/verilambda
De Bruijn Index Lambda Calculus in Isabelle.
Language: Isabelle - Size: 6.84 KB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
eownerdead/expmgr
[ABANDONED]Libadwaita Expiration Date Management
Language: Python - Size: 36.1 KB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
eownerdead/nixos-conf
❄️All of me❄️
Language: Nix - Size: 8.09 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
eownerdead/commentlint
Check Comments with LanguageTool
Language: Python - Size: 10.7 KB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0