Library for Geometric Algebra in Haskell
☆12Apr 4, 2011Updated 15 years ago
Alternatives and similar repositories for hga
Users that are interested in hga are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A geometric algebra implementation in Haskell☆32Sep 7, 2020Updated 6 years ago
- Purely functional Redux actions and reducers with PureScript.☆12Apr 19, 2016Updated 10 years ago
- Emulate Coq IDE in VIM☆12Jun 14, 2013Updated 13 years ago
- This is a C++ math library, with a focus on geometry.☆30Apr 10, 2026Updated 7 months ago
- TbGAL: Tensor-Based Geometric Algebra Library☆29Apr 10, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A compiler for L0, MicroLaTeX, and XMarkdown☆11Jun 16, 2023Updated 3 years ago
- Shell script for managing cabal-dev sandboxes☆12May 15, 2012Updated 14 years ago
- ☆11Oct 23, 2019Updated 7 years ago
- ☆13Jan 5, 2014Updated 12 years ago
- ☆10Sep 11, 2026Updated 2 months ago
- A Rust embedded-hal HAL for all MCUs in the PSoC6 family☆11Dec 20, 2019Updated 6 years ago
- ChaCha20, ChaCha12 and ChaCha8 encryption functions, in OCaml☆10Apr 3, 2022Updated 4 years ago
- A Bazel workspace for embedded systems☆12May 12, 2018Updated 8 years ago
- Django template tag for rendering math formulas☆11Mar 3, 2014Updated 12 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Bloomberg Open Symbology☆13Oct 21, 2022Updated 4 years ago
- read copy update map for golang 1.18+☆11Dec 8, 2021Updated 4 years ago
- Xen event channel interface for Mirage☆10Mar 6, 2025Updated last year
- Zurb Foundation templates for a blog/wiki using Cohttp☆11Sep 10, 2021Updated 5 years ago
- A simple program to convert gdsII files to vector output formats. Currently used to create laser-cut models of standard cells.☆13May 30, 2023Updated 3 years ago
- Extract theme-gem contents to source directory☆13Aug 7, 2017Updated 9 years ago
- IO memory page library for Mirage backends☆11Mar 5, 2025Updated last year
- ☆14May 27, 2009Updated 17 years ago
- ☆11Apr 22, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A basic geometric algebra library in Julia☆12Dec 6, 2016Updated 9 years ago
- babel plugin which use jsdoc to implement strong typing in javascript☆11May 3, 2016Updated 10 years ago
- Simple, secure and composable I/O abstraction for construction of efficient computation workflows.☆10Jun 11, 2016Updated 10 years ago
- An experimental GPU compute-centric 2D renderer.☆18Jul 13, 2022Updated 4 years ago
- Jai bindings for Raylib☆14Nov 9, 2021Updated 5 years ago
- Utilities and a PDK for a custom GaAs process provided as Python packages for use with nazca-degin (https://nazca-design.org/) (fork with…☆18Jul 13, 2026Updated 4 months ago
- Create, parse Apple Plists, plays nicely with Yojson☆10Jan 19, 2017Updated 9 years ago
- Bindings to Assimp, a 3D assets (mesh, material, scenes) importer☆11Nov 28, 2016Updated 9 years ago
- CI and test infrastructure for OPAM packages☆10Sep 8, 2013Updated 13 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Cmake build of http://gfx.cs.princeton.edu/proj/trimesh2/☆13Sep 11, 2018Updated 8 years ago
- MirageOS Syslog Unikernel☆11Oct 30, 2016Updated 10 years ago
- FP Complete's Haskell Homepage☆14Mar 17, 2020Updated 6 years ago
- [JSweet version 2 example running!] The classic Socket.IO example: a simple instant messenger, written in Java, thanks to the JSweet tran…☆11Mar 5, 2023Updated 3 years ago
- forth interpreter written in golang☆15Oct 20, 2020Updated 6 years ago
- A small command-line tool to help with mechanical edition of opam files☆11Aug 3, 2026Updated 3 months ago
- Repository for the Platform blog☆14Oct 7, 2026Updated last month
Are these results useful?