An Online Logic Assistant Based on Coq
☆25Feb 15, 2012Updated 14 years ago
Alternatives and similar repositories for Cockerel
Users that are interested in Cockerel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- eXtensible SauerBraten Server☆18Jan 12, 2012Updated 14 years ago
- A powerful, generic tool designed to provide the perfect solution for constructing and invoking clean architecture use cases in Python.☆12Jan 30, 2024Updated 2 years ago
- Haskell API for I2P anonymous networking☆16Jun 1, 2015Updated 11 years ago
- Dashboard for tracking real-life cards on a real-life Kanban board(s)☆31Jul 8, 2022Updated 4 years ago
- Bitnami's original jsonnet library for building Kubernetes manifests, now driven by the community.☆16Jun 20, 2023Updated 3 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.
- Fast callback and coroutine event library based on pyev (libev) and twisted concepts.☆36Apr 12, 2012Updated 14 years ago
- Cyberinfrastructure Shell (CIShell) is an open source, community-driven framework/application for the integration and utilization of data…☆31Nov 28, 2018Updated 7 years ago
- Explore Daily Updated Statistics for Repositories in the 'awesome-go' List☆16Jul 23, 2026Updated 3 weeks ago
- ☆14Dec 8, 2023Updated 2 years ago
- A wrapper around Flask to ease the development of larger applications☆22Feb 26, 2014Updated 12 years ago
- Making sense of online conversations as networks☆36May 6, 2021Updated 5 years ago
- pure type system language - henk 2000 ported to megaparsec, pretty☆22Oct 8, 2015Updated 10 years ago
- A visualizer for multi-dimensional semantic data☆38Oct 24, 2011Updated 14 years ago
- You should use https://noseofyeti.readthedocs.io/en/latest/api/features.html☆16Feb 22, 2025Updated last year
- 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.
- Asyncmongo-ORM is a object-relation mapping for asyncmongo☆27May 7, 2012Updated 14 years ago
- ☆15Jan 5, 2016Updated 10 years ago
- Various Python AST utilities☆21Apr 25, 2024Updated 2 years ago
- The SRL-based Open IE extractor. A principal component of Open IE 4.0.☆19Oct 31, 2017Updated 8 years ago
- Low level Common Lisp bindings for Libevent2☆19Jan 5, 2019Updated 7 years ago
- A djangoish RESTful framework in python☆16Feb 18, 2011Updated 15 years ago
- MATLAB GUI that computes the required epicycles to match a custom drawing by using DFTs☆10Oct 5, 2020Updated 5 years ago
- Historical tweet sentiment-analysis toolkit (early NLP experiments)☆21Jul 17, 2026Updated 3 weeks ago
- Error Classification and Aggregation System☆20Apr 10, 2012Updated 14 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.
- Minimalistic deployment tool☆17Aug 26, 2015Updated 10 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Dec 21, 2022Updated 3 years ago
- Personal cloud framework.☆15Jan 23, 2018Updated 8 years ago
- [Deprecated] An API which aggregates online activity of the Open Knowledge☆18Dec 13, 2021Updated 4 years ago
- Simple django buildout + virtualenv layout template☆16May 24, 2013Updated 13 years ago
- A Django based search engine powered by CouchDB, celery and whoosh.☆48Dec 26, 2015Updated 10 years ago
- Project that uses Vagrant to develop applications using the Salt config management tool☆15May 13, 2012Updated 14 years ago
- Mo workflow tools, LESS time for code mules☆22Sep 3, 2014Updated 11 years ago
- A JSON/REST search server☆18Aug 25, 2015Updated 10 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.
- Fork of pyDatalog https://sites.google.com/site/pydatalog/☆15Mar 7, 2013Updated 13 years ago
- Python framework for writing programs to solve complex problems not amenable to brute force. The architecture is a descendant of Douglas …☆32Oct 27, 2023Updated 2 years ago
- Python module for extracting information from web pages☆41Jun 12, 2014Updated 12 years ago
- Haskell bindings for Redis, a fast persistent key-value store.☆15Jun 13, 2013Updated 13 years ago
- Hands on programs for OSCON tutorial http://www.slideshare.net/ksankar/the-art-of-social-media-analysis-with-twitter-python☆16Jul 17, 2012Updated 14 years ago
- Complex operations for salt - Cloud controller☆19Dec 24, 2011Updated 14 years ago
- Markov chains for all your friends~☆15Feb 24, 2012Updated 14 years ago