hesiod's repositories

picalc-chudnovsky

An arbitrary precision pi calculator (Chudnovsky algorithm) using C++ and GNU MPFR.

Language:C++License:GPL-3.0Stargazers:6Issues:3Issues:7

bloomfilter-redis

Distributed bloom filters on Redis for Haskell

Language:HaskellLicense:NOASSERTIONStargazers:4Issues:0Issues:0

bindings-levmar

Low level Haskell bindings to the C levmar (Levenberg-Marquardt) library

Language:CLicense:NOASSERTIONStargazers:1Issues:2Issues:0

minerva32

RV32I CPU written in Clash

Language:VHDLLicense:Apache-2.0Stargazers:1Issues:2Issues:0
Language:Jupyter NotebookStargazers:0Issues:5Issues:10

bevy

A refreshingly simple data-driven game engine built in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

blaze-builder

Efficient serialization of Haskell values to lazy bytestrings with a large average chunk size.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

client-toolkit

Smithay's toolkit for writing wayland clients

Language:RustLicense:MITStargazers:0Issues:1Issues:0

geogram

a programming library with geometric algorithms

License:NOASSERTIONStargazers:0Issues:0Issues:0

gipeda

Git Performance Dashboard

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

glfw

A multi-platform library for OpenGL, window and input

Language:CLicense:ZlibStargazers:0Issues:2Issues:0

home-manager

Manage a user environment using Nix [maintainer=@rycee]

License:MITStargazers:0Issues:0Issues:0

hydra-check

check hydra for the build status of a package [maintainer=@makefu,@Artturin]

License:MITStargazers:0Issues:0Issues:0

imgui

Dear ImGui: Bloat-free Immediate Mode Graphical User interface for C++ with minimal dependencies

Language:C++License:MITStargazers:0Issues:2Issues:0
License:MITStargazers:0Issues:0Issues:0

language-vhdl

Haskell representation of VHDL

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

lanzaboote

Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]

License:GPL-3.0Stargazers:0Issues:0Issues:0

llvm-svn

Arch Linux PKGBUILD for LLVM, Clang et al. (latest SVN code)

Language:ShellStargazers:0Issues:0Issues:0

megaparsec

Industrial-strength monadic parser combinator library

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

nix

Nix, the purely functional package manager

Language:C++License:LGPL-2.1Stargazers:0Issues:1Issues:0

nixpkgs

Nix Packages collection

License:MITStargazers:0Issues:0Issues:0

ofborg

@ofborg tooling automation https://monitoring.nix.ci/dashboard/db/ofborg

Language:RustLicense:MITStargazers:0Issues:1Issues:0

opensmalltalk-vm

Cross-platform virtual machine for Squeak, Pharo, Cuis, and Newspeak.

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

pulse-binding-rust

FFI and bindings for using PulseAudio from the Rust programming language.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

resource-agents

Combined repository of OCF agents from the RHCS and Linux-HA projects

License:GPL-2.0Stargazers:0Issues:0Issues:0

scikit-build-core

A next generation Python CMake adaptor and Python API for plugins

License:Apache-2.0Stargazers:0Issues:0Issues:0

SPIRV-Cross

SPIRV-Cross is a practical tool and library for performing reflection on SPIR-V and disassembling SPIR-V back to high level languages.

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

vcpkg

C++ Library Manager for Windows, Linux, and MacOS

Language:CMakeLicense:NOASSERTIONStargazers:0Issues:2Issues:0

Vulkan-LoaderAndValidationLayers

Vulkan loader and validation layers

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

zhf

ZHF read-only mirror

Language:RustStargazers:0Issues:1Issues:0