A Swiss Army Knife for computational social choice research
☆21Apr 10, 2026Updated 3 weeks ago
Alternatives and similar repositories for VoteKit
Users that are interested in VoteKit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Presentations from the 2023 Fellowship.☆14Jan 31, 2024Updated 2 years ago
- A Declarative Language for Expressing Partial World Knowledge to Reinforcement Learning Agents☆17Jan 19, 2024Updated 2 years ago
- A curated list of awesome tools, resources and tutorials on online privacy and evading censorship☆10Nov 16, 2019Updated 6 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Linearizability Hoare Logic☆17Apr 24, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 15 years ago
- ☆14Dec 9, 2022Updated 3 years ago
- Creates Overture Maps Foundation manifest files for release cataloguing☆34Apr 22, 2026Updated last week
- ☆16Mar 17, 2025Updated last year
- A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…☆20Apr 17, 2020Updated 6 years ago
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- A simple functional programming language.☆22Jun 3, 2021Updated 4 years ago
- The MLPolyR programming language, revived☆25Oct 15, 2020Updated 5 years ago
- This is yourforth an educational Forth in Intel assembler, with exercises.☆23Jan 18, 2021Updated 5 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.
- ANSI utilities for CLI usage in Zig.☆22Dec 18, 2025Updated 4 months ago
- A Jupyter Book (v0.6.4) that contains figures for the Phase-unwrapping research paper (written in Julia). First author Nan-kuei Chen and …☆11Feb 24, 2021Updated 5 years ago
- Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks☆34Mar 26, 2026Updated last month
- Tutorial on the Julia Package MRIReco.jl☆10Oct 25, 2022Updated 3 years ago
- A Pytorch Lightning implementation of “Triple-cooperative Video Shadow Detection” on CVPR'21.☆13Sep 1, 2023Updated 2 years ago
- CUHK-Shadow Dateset☆14Sep 9, 2024Updated last year
- Create Windows 10 Bootable USB in macOS Monterey Apple Silicon M1 / M2☆22Dec 10, 2022Updated 3 years ago
- The Universal Turing Machine implemented in NXC, which runs on the LEGO device we made: http://www.legoturingmachine.org☆33Jul 31, 2012Updated 13 years ago
- A standalone synthesizer that is controlled through text files in an extendable way.☆13Jul 20, 2024Updated last year
- 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.
- A MATLAB-based tutorial for SENSE parallel imaging in MRI☆10Nov 18, 2024Updated last year
- 2D game framework made for rapid prototyping☆13Jan 29, 2024Updated 2 years ago
- ☆21Apr 23, 2025Updated last year
- Codebase for "Surveilling Surveillance: Estimating the Prevalence of Surveillance Cameras with Street View Data"☆20Jul 15, 2021Updated 4 years ago
- Rust library for program synthesis of string transformations from input-output examples 🔮☆28Feb 1, 2025Updated last year
- Python plugins to intercept RFID portals, like Skylanders, Disney Infinity ...☆23Jan 29, 2019Updated 7 years ago
- VB.NET program to edit/backup/restore Skylanders☆22Mar 9, 2023Updated 3 years ago
- ☆21Feb 23, 2024Updated 2 years ago
- USB Touchscreen driver for Eleduino 7 inch tft lcd display with touchscreen☆13Dec 18, 2015Updated 10 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.
- code for paper "Accessing higher dimensions for unsupervised word translation"☆22Jun 26, 2023Updated 2 years ago
- hugo static site generator for website 3.0; a superset of quartz optimised for an Obsidian vault with preprocessing and postprocessing sc…☆10Aug 4, 2024Updated last year
- Philips to ISMRMRD converter☆18Jun 18, 2020Updated 5 years ago
- Macro assembler for Rust☆36Mar 8, 2024Updated 2 years ago
- Introduction to the Shared Computing Cluster☆10Jan 23, 2026Updated 3 months ago
- Measuring the Signal to Noise Ratio in Language Model Evaluation☆29Aug 19, 2025Updated 8 months ago
- An implementation of a genetic algorithm to optimise the homogeneity of a Halbach array by varying the ring diameters along the length of…☆22Jul 26, 2023Updated 2 years ago