expipiplus1

My code is so strongly typed I'm going to need a new keyboard! she/her

Pinned Repositories

clash-wavedrom
Language:Haskell14 5 13
corsair-one-stats
Language:Haskell4 4 00
exact-real
Exact real arithmetic in Haskell
Language:Haskell25 6 124
orbits
A package dealing with Kepler orbits.
Language:Haskell11 5 41
spir-v
Haskell bindings for SPIR-V
Language:Haskell5 6 14
update-nix-fetchgit
A program to automatically update fetchgit values in Nix expressions
Language:Haskell114 9 4014
vector-sized
Language:Haskell33 8 4725
vulkan
Haskell bindings for Vulkan
Language:Haskell140 12 18932
vulkan-examples
Some examples of using the Haskell vulkan package
Language:Haskell15 4 05

expipiplus1's Repositories

expipiplus1/vulkan
Haskell bindings for Vulkan
Language:Haskell140 12 18932
expipiplus1/update-nix-fetchgit
A program to automatically update fetchgit values in Nix expressions
Language:Haskell114 9 4014
expipiplus1/vector-sized
Language:Haskell33 8 4725
expipiplus1/clash-wavedrom
Language:Haskell14 5 13
expipiplus1/autoapply
Language:Haskell2 3 02
expipiplus1/dotfiles
Language:Nix1 4 0
expipiplus1/slang
Making it easier to work with shaders
Language:C++1 2 0
expipiplus1/astrocommunity
A community repository of common plugin specifications
expipiplus1/cmake-language-server
CMake LSP Implementation
Language:Python1 0
expipiplus1/dependent-hashmap
Dependent hash maps
expipiplus1/dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
Language:Haskell0 0
expipiplus1/docs
Site for AstroNvim
expipiplus1/effectful-extras
Missing Haskell libraries for effectful ecosystem
expipiplus1/fzf
:cherry_blossom: A command-line fuzzy finder
Language:Go1 0
expipiplus1/gitui
Blazing 💥 fast terminal-ui for git written in rust 🦀
Language:Rust1 0
expipiplus1/hoogle
Haskell API search engine
Language:Haskell3 0
expipiplus1/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
Language:Haskell0 0
expipiplus1/lian-li-control
Query and modify Lian-Li AIO coolers
Language:Haskell2 0
expipiplus1/lsp
Haskell library for the Microsoft Language Server Protocol
expipiplus1/miniz
miniz: Single C source file zlib-replacement library, originally from code.google.com/p/miniz
Language:C++1 0
expipiplus1/nixpkgs
Nix Packages collection
Language:Nix3 0
expipiplus1/open-letter
an open letter to the NixOS foundation
Language:CSS0 0
expipiplus1/SC-election-2024
2024 Election for the Steering Committee
expipiplus1/shader-playground
Shader playground website for exploring HLSL, GLSL, SPIR-V compilers
expipiplus1/shader-slang.github.io
Slang project web site
expipiplus1/slang-binaries
Binary dependencies for building Slang.
Language:Lua1 0
expipiplus1/slang-rhi
Slang Render Hardware Interface
Language:C++0 0
expipiplus1/true-name
Template Haskell hack to violate another module's abstractions
expipiplus1/unboxing-vector
A newtype-friendly wrapper for Data.Vector.Unboxed
Language:Haskell
expipiplus1/Vulkan-Docs
The Vulkan API Specification and related tools
Language:C3 0