☆68May 19, 2026Updated this week
Alternatives and similar repositories for giac
Users that are interested in giac are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- contributions to Giac computer algebra system☆14Apr 1, 2023Updated 3 years ago
- This is a fork of x49gp which compiles on Ubuntu 12.04☆15Dec 2, 2021Updated 4 years ago
- A C++ computer algebra (symbolic computation) library.☆18Aug 7, 2024Updated last year
- A simple Android game written in Golang☆12Jan 13, 2015Updated 11 years ago
- C++ DSL for making Qt layouts☆15Sep 29, 2020Updated 5 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.
- GeoGebra apps (mirror)☆2,212Updated this week
- Winter-themed experiments☆11Apr 9, 2022Updated 4 years ago
- Arcana.cpp is a collection of helpers and utility code for low overhead, cross platform C++ implementation of task-based asynchrony.☆84Apr 16, 2026Updated last month
- Simple, non intrusive reactive programming library for C++. (Events + Observable Properties + Reactive Properties)☆75Dec 25, 2018Updated 7 years ago
- ☆13Mar 23, 2022Updated 4 years ago
- This repo contains all codes of the articles that I have published on Medium☆10Feb 10, 2021Updated 5 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- C Firmware for QingStation☆16Dec 24, 2022Updated 3 years ago
- 从OpenNT提取的NT4_CMD_x86源码及其编译环境☆12Mar 26, 2019Updated 7 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.
- A gapbuffer implementation in C++ 11, implemented as an STL container☆12Oct 25, 2017Updated 8 years ago
- GNAT Components Collection – Database packages☆14Nov 28, 2025Updated 5 months ago
- ☆10Jan 24, 2016Updated 10 years ago
- ☆20May 7, 2026Updated 2 weeks ago
- The works of Jane Austen, typeset and imposed and ready to be printed and bound. Available in US letter and A4 format.☆13Dec 13, 2025Updated 5 months ago
- LCUI Programming Guide☆11Feb 19, 2022Updated 4 years ago
- Symbolic computation package for Go☆10Mar 15, 2025Updated last year
- Visualize email history and trends.☆12Jul 1, 2021Updated 4 years ago
- flood your network with useless crap for fun and profit☆28Jul 14, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A simple way to parse a string using type annotations☆13Jul 28, 2022Updated 3 years ago
- video player base on imgui(Just support video)☆11May 19, 2026Updated last week
- F5 VPN Command-line client☆21Oct 13, 2012Updated 13 years ago
- Robotic Bicycle code for data collection and control☆13Aug 24, 2023Updated 2 years ago
- This is a lazy enumeration script made to make bug bounty enum & pentest flyovers easy as cake!☆13Jun 13, 2020Updated 5 years ago
- 一个插件:Android组件化开发中,Application生命周期主动分发到组件,业务组件 无侵入地 获取 Application生命周期~☆10Oct 4, 2020Updated 5 years ago
- Plugin manager using Qt framework to create Qt application based on custom loadable plugins☆13Oct 12, 2023Updated 2 years ago
- GUI tool for extracting ADPCM samples from V ROMs☆11Mar 15, 2025Updated last year
- Complete Ada-Mode as Vim-Ball or Tar.bz2☆14Jan 3, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆13Sep 25, 2019Updated 6 years ago
- Finds all elementary circuits of a directed graph using Johnson's algorithm (1975)☆15Jan 24, 2026Updated 4 months ago
- Example integration of Visualization Toolkit (VTK) and OpenSceneGraph (OSG)☆15Nov 5, 2012Updated 13 years ago
- Veil is a code generator which exposes Golang packages via a generated C ABI that is consumed by host languages through FFI. Currently, V…☆10Sep 29, 2017Updated 8 years ago
- Coherent Line Drawing OpenFaaS function based on https://github.com/esimov/colidr☆10May 2, 2021Updated 5 years ago
- man-page style descriptions of Fortran intrinsics for use as a reference for developers and tutorials☆23May 8, 2026Updated 2 weeks ago
- The server component of the discontinued Ship issue tracker and pull request client for GitHub.☆18Jul 24, 2018Updated 7 years ago