☆70May 27, 2026Updated last month
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☆15Apr 1, 2023Updated 3 years ago
- "If in other sciences we should arrive at certainty without doubt and truth without error, it behooves us to place the foundations of kno…☆10Dec 28, 2019Updated 6 years ago
- External application installer for n0110 calculators☆15Apr 7, 2026Updated 2 months ago
- Nano OS - Open source preemptive real time multitasking scheduler targeting 8 to 32 bits microcontrollers☆13Aug 2, 2020Updated 5 years ago
- C++ DSL for making Qt layouts☆15Sep 29, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- HAMMER1/2 file system userspace utilities on Linux☆24Jan 29, 2023Updated 3 years ago
- Shi Kong Xing Shou disassembly and translation project☆10Updated this week
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 5 years ago
- Arch Linux RISC-V images for Banana Pi F3 with SpacemiT K1 / M1 / X60.☆13Dec 21, 2025Updated 6 months ago
- Winter-themed experiments☆11Apr 9, 2022Updated 4 years ago
- WoodRPG source code☆10Nov 5, 2024Updated last year
- "a very concise portable real time - preemptive operating system"☆27Jan 15, 2014Updated 12 years ago
- Resources for okinesio boards☆13Mar 27, 2018Updated 8 years ago
- Phoshell: a Forth inspired, extremely lightweight, stack machine shell, implementable in _ALL_ known programming languages.☆10Nov 21, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Statistical Arbitrage & Algorithmic Trading: time series analysis and the presence of cointegration in cryptocurrency price series.☆11Jan 10, 2019Updated 7 years ago
- Sparse/dense tensor library for Python☆12Apr 1, 2026Updated 3 months ago
- A developers repository for the tudat environment.☆19Jul 18, 2025Updated 11 months ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Port vanilla elf2e32 v. 2.1.15 to modern compilers☆11Jul 26, 2020Updated 5 years ago
- Fixed point math support (via libfixmath) for the Nim programming language☆12Jun 16, 2016Updated 10 years ago
- ☆13Sep 30, 2024Updated last year
- C Firmware for QingStation☆17Dec 24, 2022Updated 3 years ago
- Browser extension for browsing SCP Foundation Wikidot site☆18Aug 14, 2023Updated 2 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.
- 从OpenNT提取的NT4_CMD_x86源码及其编译环境☆12Mar 26, 2019Updated 7 years ago
- ☆15Jan 11, 2022Updated 4 years ago
- 3D B-Spline renderer built with Qt, OpenGL and Eigen. Visualizes spline curves and control points in 3D.☆28Jan 22, 2026Updated 5 months ago
- Qt实现系统中设备管理功能（热插拔监测）☆15Aug 25, 2022Updated 3 years ago
- A gapbuffer implementation in C++ 11, implemented as an STL container☆12Oct 25, 2017Updated 8 years ago
- Ash is an Ada Simple HTTP Server☆13Sep 11, 2021Updated 4 years ago
- ☆19May 7, 2026Updated last month
- A Lua language server add-on for writing Picotron code in an external editor☆24Apr 9, 2026Updated 2 months ago
- Experiments with ebiten - Doomfire☆12Oct 21, 2025Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A companion Android app for Scrcpy GUI☆28Aug 24, 2025Updated 10 months ago
- Qt-based alternative Arduino IDE.☆26Mar 27, 2016Updated 10 years ago
- A simple way to parse a string using type annotations☆13Jul 28, 2022Updated 3 years ago
- graphics dojo Qt5☆36Jun 28, 2017Updated 9 years ago
- I'm going to use the Winograd’s minimal filtering algorithms to introduce a new class of fast algorithms for convolutional neural networks…☆12Mar 22, 2018Updated 8 years ago
- Git repository of the code for the async vs rtos showdown blogpost☆18Feb 17, 2022Updated 4 years ago
- hacktastic stlink swo/swv magical plaything (maybe)☆20Dec 19, 2014Updated 11 years ago