UVA command line client to upload solutions and search for statistics
☆10Dec 23, 2016Updated 9 years ago
Alternatives and similar repositories for UVACommandLine
Users that are interested in UVACommandLine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- A DSL/LISP dialect written in Haskell☆21Aug 30, 2018Updated 7 years ago
- Oberon-07/11 compiler for x86-32 written by akron1☆11May 11, 2014Updated 12 years ago
- Compiler and interpreter for a miranda-like functional language in Python.☆12Dec 28, 2011Updated 14 years ago
- Topic Modeling over Paul Graham's essays☆12Jun 25, 2018Updated 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.
- ☆10Jul 21, 2022Updated 3 years ago
- A Compiler and Type Inference System for a subset of Standard ML called Small.☆14May 19, 2017Updated 9 years ago
- L-system interpreter in OCaml☆21Dec 10, 2015Updated 10 years ago
- Source for my personal website☆14Apr 19, 2022Updated 4 years ago
- Summaries of findings from Augurs audits☆11Jun 28, 2018Updated 7 years ago
- ☆27Feb 3, 2016Updated 10 years ago
- 🏠 Programmatically create Ninja build-system files☆18Jan 12, 2022Updated 4 years ago
- My CV☆13May 18, 2026Updated last week
- GP Tools for Amazon Web Services Elastic Map Reduce (Hosted Hadoop Framework)☆15Nov 8, 2013Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12May 5, 2021Updated 5 years ago
- A Canvas-based pHash Implementation☆12Sep 8, 2024Updated last year
- ☆22Apr 1, 2013Updated 13 years ago
- Rust library for parsing regular languages☆16Feb 12, 2016Updated 10 years ago
- Personal projects, notes, and trials☆12Mar 3, 2025Updated last year
- Documentation for the Ark language☆13Mar 3, 2016Updated 10 years ago
- RTCPeerConnection wrapper for purists. No dependencies (just ~1.5KB gzipped).☆14Mar 6, 2016Updated 10 years ago
- Object Pascal client implementation for the redis protocol and commands as a☆22Feb 19, 2012Updated 14 years ago
- Downloading and displaying academic ancestry☆16Oct 1, 2015Updated 10 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.
- DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.☆13Aug 31, 2024Updated last year
- Unsupervised Perceptual Rewards for Imitation Learning☆10Feb 3, 2018Updated 8 years ago
- Translate words using Wikipedia data☆19Jan 7, 2023Updated 3 years ago
- Extract data from text files or log files using regular expressions☆16Feb 27, 2016Updated 10 years ago
- All source texts from book "PROJECT OBERON, The Design of an Operating system and Compiler" N. Wirth, J. Gutknecht ACM Press and Addison-…☆22Mar 28, 2013Updated 13 years ago
- Experiments to simplify the DX of react-apollo☆18Nov 17, 2016Updated 9 years ago
- SQL Relational Algebra for Go.☆75Apr 13, 2016Updated 10 years ago
- ☆13Aug 25, 2017Updated 8 years ago
- Stub implementations of Node built-in modules, a la Browserify☆17Sep 15, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Python and C++ library to process both experimental and simulation data of colloidal particles.☆15Sep 2, 2021Updated 4 years ago
- MOVΞ - A Decentralised Ride Sharing DApp☆12Jul 30, 2015Updated 10 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- Get the IP adresses of Bittorrent Peers☆13Oct 14, 2016Updated 9 years ago
- Automate some common Turo work that I have to do manually☆11Aug 1, 2018Updated 7 years ago
- Simplistic demo app using MS SQL instead of mongo☆12Dec 22, 2016Updated 9 years ago
- The Meteor 1.4 For Everyone Tutorial Series Code☆11Sep 17, 2016Updated 9 years ago