Cloude IDE Frontend for Codespaces
☆26Feb 19, 2017Updated 9 years ago
Alternatives and similar repositories for akurath
Users that are interested in akurath are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The World Peace App☆14Jun 14, 2014Updated 12 years ago
- ☆27Jan 3, 2022Updated 4 years ago
- Automatically build Bitcoin on Windows.☆15Nov 25, 2015Updated 10 years ago
- VisualStudio running under Wine inside of docker on VMware hosted on your Mac over X11☆15Jun 21, 2017Updated 9 years ago
- Source code repository for OpenCMISS-Zinc☆17Aug 31, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Library for working with and generating SSH keys☆12Oct 15, 2020Updated 6 years ago
- Visual Computing Library☆20Jan 14, 2026Updated 9 months ago
- Embed OGRE into a QtWidget in a cross compatible way☆16Jun 1, 2014Updated 12 years ago
- AWS SQS listener☆16Oct 16, 2026Updated last week
- GNU Scientific Library bindings for Crystal☆22Dec 7, 2022Updated 3 years ago
- Ubuntu Desktop (MATE) Dockerfile with NoMachine remote access and firefox, libreoffice and tor-browser☆21Mar 21, 2017Updated 9 years ago
- Browser based key and certificate discovery integrated with javascript Web Cryptography API☆20Apr 17, 2013Updated 13 years ago
- Pipe Node.js streams over WebSockets (with back-pressure!).☆24Nov 10, 2018Updated 7 years ago
- ☆16Apr 13, 2015Updated 11 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.
- Generate a new polyglot Bazel workspace with minimal configuration☆19Jul 29, 2018Updated 8 years ago
- CUDA implementation of the 2D fast Poisson solver☆14Mar 4, 2025Updated last year
- Responsive, gridded Instagram Feed☆13Jun 26, 2016Updated 10 years ago
- ☆26Nov 24, 2014Updated 11 years ago
- Given a marked-ast AST generate markdown output☆10Apr 14, 2022Updated 4 years ago
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆11May 18, 2025Updated last year
- Spawn and expose docker containers over http and websockets☆16Apr 5, 2015Updated 11 years ago
- Security audit tool for Django sites☆14Oct 20, 2026Updated last week
- Bash script to automatically sync directories with S3 utilizing inotifywatch☆24Jan 15, 2015Updated 11 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.
- LLM-driven proof search on Erdős problems (2 solutions accepted on erdosproblems.com)☆17Apr 21, 2026Updated 6 months ago
- The Open Source Business Intelligence solution over the Alfresco platform.☆16Aug 26, 2017Updated 9 years ago
- A Lean 4 formalization of partial combinatory algebras.☆15Jan 6, 2025Updated last year
- An optimized OpenCL implementation of Gradient Vector Flow (GVF) that runs on GPUs and CPUs for both 2D and 3D. For more details about th…☆30Jan 15, 2017Updated 9 years ago
- Retrieve Demandware logs over WebDAV, parse them into friendly JSON, and forward them to LogStash☆11Sep 18, 2020Updated 6 years ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- Multi-Producer/Single-Consumer channels in Crystal☆12Nov 28, 2021Updated 4 years ago
- ☆14Feb 10, 2014Updated 12 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- User-space pipe for the Crystal programming language☆11Jun 28, 2026Updated 4 months ago
- define bash functions on a per-directory basis☆27Jan 20, 2024Updated 2 years ago
- Introspective peek into your server guts☆30Feb 25, 2020Updated 6 years ago
- Julia package for loop invariant generation☆12Nov 17, 2020Updated 5 years ago
- A modified version of the public physbam repo to support using Cmake and newer Gcc compilers☆31Aug 16, 2015Updated 11 years ago
- Functional Algorithms Design☆19Oct 18, 2026Updated last week
- Examples of Ruby code in Crystal and benchmarks to compare☆10Apr 16, 2022Updated 4 years ago