An IPFS-based version control tool with static file hosting features. Basic functions like repo initiation, staging, committing, branching, and logging have been implemented. (Under active development)
☆15Dec 13, 2024Updated last year
Alternatives and similar repositories for statik
Users that are interested in statik are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Refinement types encoded with private types in OCaml.☆11Oct 18, 2020Updated 6 years ago
- Mathpaqs: a collection of mathematical packages in pure Ada☆15Jun 4, 2026Updated 5 months ago
- PL/PgSQL test coverage analysis☆11Oct 24, 2019Updated 7 years ago
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- Our Personal Space 2, a farming/child-raising simulation visual novel game.☆12Aug 31, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Anon-Pass is a practical cryptographic anonymous subscription scheme. Combined with a proof-of-concept integration, it can scale to thou…☆12Dec 15, 2014Updated 11 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Oct 30, 2026Updated last week
- Major mode for Coconut☆11May 21, 2017Updated 9 years ago
- Elkhound is a parser generator capable of emitting a GLR parser in OCaml☆18Dec 21, 2025Updated 10 months ago
- Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL☆12Feb 26, 2023Updated 3 years ago
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year
- root-finding library☆12Mar 22, 2020Updated 6 years ago
- Tools to manipulate source files (linting, patching, etc.)☆20Jul 19, 2018Updated 8 years ago
- Helpers for PL/pgSQL applications☆13Nov 30, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Simple (and unmaintained!) GUI library built on SDL. Not recommended for new code!☆15Jun 21, 2022Updated 4 years ago
- PonyTown Client For Windows☆14Sep 19, 2016Updated 10 years ago
- Awesome list of software not using LLMs or similar features.☆21Updated this week
- SQLite with stored procedures☆21Nov 2, 2017Updated 9 years ago
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆19Oct 27, 2023Updated 3 years ago
- A web-based ZFS on-disk structure explorer☆17Mar 22, 2026Updated 7 months ago
- Very slowly rethinking Jython through toy implementations☆19Oct 3, 2026Updated last month
- Arcan Workbench, Desktop- like script for Arcan [INACTIVE]☆10Jul 1, 2017Updated 9 years ago
- The Super Tiny Compiler in Ada☆28May 19, 2026Updated 5 months 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.
- Declarative JSON data manipulation for OCaml☆29Oct 25, 2026Updated last week
- ☆11Jul 21, 2022Updated 4 years ago
- lojban parser☆24Aug 16, 2014Updated 12 years ago
- Quickly open and edit dotfiles.☆10Mar 9, 2023Updated 3 years ago
- M#! Distributed shell pipelines with GNU Guile.☆14Dec 28, 2020Updated 5 years ago
- Prolog benchmarks (`van Roy' set)☆19Updated this week
- This project is implementing core functions of a basic single-phase line-interactive UPS using Arduino.☆10May 13, 2025Updated last year
- Neovim UI client using arcan-tui☆15Feb 20, 2024Updated 2 years ago
- The entire CRAN collection for GNU Guix.☆12Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- You only ReBoot once - A USB less ISO/IMG etc. bootloader based on ventoy☆15Updated this week
- Bitwarden TUI build with Go☆12May 21, 2023Updated 3 years ago
- ☆12Mar 9, 2022Updated 4 years ago
- Type safe unit of measure in OCaml with ppx☆31Mar 10, 2016Updated 10 years ago
- Native JACK support for Qubes OS (experimental)☆10Jul 22, 2017Updated 9 years ago
- A Guix dashboard for GToolkit☆14Apr 14, 2023Updated 3 years ago
- Modern Fortran library for finding the roots of real and complex polynomial equations☆29Aug 16, 2026Updated 2 months ago