Pinned Repositories
language-c
git mirror of language-c darcs repo at http://code.haskell.org/language-c
mech
a generalized state machine composition toolkit for building large systems
monad-ste
ST with efficient exceptions
numbers
orange
the colorful place for the best RNGs, goodness first
resin
Resin: high performance variable binder and ast manipulation lib
strict-identity
strict identity monad, handy for writing high performance strict code sanely
numerical
Numerical is the core library for Numerical Haskell
cartazio's Repositories
cartazio/numbers
cartazio/language-c
git mirror of language-c darcs repo at http://code.haskell.org/language-c
cartazio/orange
the colorful place for the best RNGs, goodness first
cartazio/storable-complex
This is the maintenance repo for storable complex
cartazio/arb-clib-reference
C library for arbitrary-precision ball arithmetic
cartazio/ascent-fork
logic programming in Rust
cartazio/compensated
Compensated floating-point arithmetic
cartazio/core-math-clone
cartazio/data-reify
Reification of data structures using observable sharing
cartazio/dear-imgui.hs
Haskell bindings to Dear ImGui, an immediate mode GUI toolkit
cartazio/egg-smol
cartazio/elle
Black-box transactional safety checker based on cycle detection
cartazio/FastAndRobustMeshArrangements-clone
This is the header-only version of the code we used for the experiments in the paper "Fast and Robust Mesh Arrangements using Floating-point Arithmetic" by G. Cherchi, M. Livesu, R. Scateni and M. Attene (SIGGRAPH Asia 2020).
cartazio/forked-instant-ngp
Instant neural graphics primitives: lightning fast NeRF and more
cartazio/forked-Magic123
Official PyTorch Implementation of Magic123: One Image to High-Quality 3D Object Generation Using Both 2D and 3D Diffusion Priors
cartazio/forked-vllm-inference-code
A high-throughput and memory-efficient inference and serving engine for LLMs
cartazio/gtk2hs_9.4_patched_remote
GUI library for Haskell based on GTK+
cartazio/HasChor-clone
Functional choreographic programming in Haskell
cartazio/InteractiveAndRobustMeshBooleans-clone
cartazio/le_scroll_wheel_experiments
cartazio/libigl-clone
Simple C++ geometry processing library.
cartazio/mmtk-core
Memory Management ToolKit
cartazio/mps
The Memory Pool System
cartazio/nougat-ocr-fork
Implementation of Nougat Neural Optical Understanding for Academic Documents
cartazio/numerics
cartazio/openlibm
High quality system independent, portable, open source libm implementation
cartazio/prob-fx-2-fork
A language for modular probabilistic programming in Haskell based on algebraic effects and effect handlers
cartazio/rounded
MPFR bindings for Haskell
cartazio/step_files_from_cvs_dump
cartazio/Voron-V0-High-Temperature
High Temperature Voron V0 for PEI, PEEK ...