-- NOT UPDATED ANYMORE, use https://github.com/bcpierce00/unison instead -- This repository is rebased frequently on top of the official unison subversion repository!
☆26Oct 2, 2014Updated 12 years ago
Alternatives and similar repositories for Unison
Users that are interested in Unison are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Automated media download scheduler and catalogue maintainer☆12Oct 11, 2012Updated 14 years ago
- Binning (Newick) Phylogenetic Trees by Topology☆10Mar 11, 2019Updated 7 years ago
- A python program for calculating the mass of XAFS [X-Ray Absorption Fine Structure] samples. The chemical formula parser understands pare…☆12Apr 17, 2026Updated 6 months ago
- Arduino sketch for combining the inputs of two keyboard devices.☆14Oct 8, 2023Updated 3 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.
- ☆23May 3, 2021Updated 5 years ago
- Low-level Haskell FFI bindings to the HDF5 library☆14Nov 16, 2013Updated 12 years ago
- Haskell portable POSIX-compatibility layer☆21Dec 1, 2022Updated 3 years ago
- Experiment-management framework in Haskell☆19Aug 12, 2015Updated 11 years ago
- Mirror of haddock repository. DO NOT SUBMIT PULL REQUESTS HERE. Use http://github.com/haskell/haddock instead!☆19Feb 27, 2023Updated 3 years ago
- Django application which provides an information about other installed applications.☆14Aug 19, 2013Updated 13 years ago
- ☆17Jan 20, 2023Updated 3 years ago
- An example of Great CI for Rust projects☆10Feb 10, 2019Updated 7 years ago
- DNSimple Command Line☆14Feb 9, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A reverse proxy that provides authentication using OAuth2 via Google, GitHub, etc☆12Sep 14, 2020Updated 6 years ago
- Python script for Android's ASE which silences the phone between set hours☆12Mar 9, 2010Updated 16 years ago
- Tetris clone demo for lutro, adapted from ex's blocks for LÖVE☆12Aug 18, 2021Updated 5 years ago
- DEPRECATED: plugin for heroku to support attachable resources☆14Jun 18, 2019Updated 7 years ago
- A fast B-tree library for Haskell☆12Jan 3, 2012Updated 14 years ago
- Tools and documentation related to the AMD Strix-Halo AGU family (Ryzen AI Max 395) of systems. Tested on GMKtec EVO-2☆12Dec 14, 2025Updated 10 months ago
- Buttercup's Homepage☆13Apr 1, 2024Updated 2 years ago
- SDK for building cross-platform desktop apps in ANSI-C☆14Jan 6, 2023Updated 3 years ago
- jacobs university fall 2012 3d point cloud processing homework☆13Nov 19, 2012Updated 13 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.
- less ~ a clean-compiling, more Windows-friendly, fork of the original `less` by Mark Nudelman☆14Apr 10, 2026Updated 6 months ago
- API access to Open Tree of Life treestore☆11Jan 5, 2026Updated 9 months ago
- Bot for GopherAcademy Slack☆12May 16, 2014Updated 12 years ago
- Get or set screen brightness in Windows☆13Jul 17, 2015Updated 11 years ago
- Simple Python RPC system (ZeroMQ + Threading/Greenlets/IOLoop)☆12Jan 27, 2016Updated 10 years ago
- A Pascal compiler & compiler toolkit written in Clojure☆10Jun 13, 2013Updated 13 years ago
- This repository contains Python notebooks for education and data science purposes.☆12Jan 8, 2025Updated last year
- ☆12Jan 15, 2019Updated 7 years ago
- django-oopviews provides a simple way to have some object orientation in Django's view layer☆13Nov 11, 2008Updated 17 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- CS344 Software Router Starter☆11Apr 26, 2011Updated 15 years ago
- A simple parser made to parse bsp quake maps.☆11Apr 20, 2025Updated last year
- A Haskell implementation of the Land of Lisp Dice of Doom game.☆12Nov 2, 2014Updated 11 years ago
- ☆16Dec 4, 2013Updated 12 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- Personal finance webapp using Django + ExtJS☆15Nov 21, 2011Updated 14 years ago
- Asset Importer (assimp) OpenGL rendering library in Objective C.☆14Dec 14, 2010Updated 15 years ago