☆171Apr 24, 2026Updated 2 months ago
Alternatives and similar repositories for axplorer
Users that are interested in axplorer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experimental version of jxbz/agd implementing support for bias terms, affine parameters, transformers, etc.☆12Jul 30, 2023Updated 2 years ago
- Notes about the intuition behind calculus on manifolds and the generalized Stokes's theorem☆22Feb 7, 2022Updated 4 years ago
- Automatically save mind maps as images, support image re-editing, support binding maps to blocks, and automatically update content思源笔记思绪…☆18Feb 21, 2026Updated 4 months ago
- General neural tactic for Lean 4☆31Updated this week
- The Python-JGraphT library☆24Sep 3, 2024Updated 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.
- ☆28Feb 1, 2023Updated 3 years ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36May 27, 2026Updated last month
- A simple ROS based XCP like calibration tool for Simulink modeling☆14Feb 11, 2022Updated 4 years ago
- ☆31Jan 6, 2023Updated 3 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆45Apr 3, 2026Updated 2 months ago
- ☆26Jan 2, 2024Updated 2 years ago
- An introduction to theorem proving in Lean for the impatient.☆384Apr 17, 2026Updated 2 months ago
- Python implementation of block decomposition method for approximating algorithmic complexity☆40Jul 25, 2024Updated last year
- Conservative floating point interval arithmetic in Lean☆26Jan 20, 2026Updated 5 months 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.
- Ecto extensions to support auditing data changes in your Schema.☆10Dec 4, 2017Updated 8 years ago
- A search engine for Lean 4 declarations☆74May 7, 2026Updated last month
- "The purest form of giving is from anonymous to anonymous" - Jay Z☆10Jan 6, 2021Updated 5 years ago
- Kubernetes checkly operator☆10Sep 2, 2025Updated 10 months ago
- An open-source session replay tool for single-page applications that uses AI analysis, aggregated trends, and a RAG chatbot to help devel…☆11Jan 23, 2026Updated 5 months ago
- Example microservice developed with Phoenix Framework☆13Mar 14, 2017Updated 9 years ago
- 🔍 Solve the puzzle to reveal Hack Club's 2022 summer event: Assemble.☆14Jun 25, 2022Updated 4 years ago
- OVALChat is a customizable Web app aimed at conducting user studies with chatbots☆28Jan 9, 2024Updated 2 years ago
- Lean 4 formalization of Rubik's cubes☆33Feb 17, 2025Updated last year
- 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.
- Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.☆13Sep 26, 2021Updated 4 years ago
- A formal consistency proof of Quine's set theory New Foundations☆84Feb 25, 2026Updated 4 months ago
- ☆320Sep 11, 2025Updated 9 months ago
- Running LLMs against a sandbox airport to see if they can make the correct decisions in real time☆29Jul 22, 2025Updated 11 months ago
- A Node task which reformats and adds metadata to raw data☆12May 19, 2026Updated last month
- Interactive map of Hack Club’s global club network.☆11Jul 27, 2022Updated 3 years ago
- This project utilize the YOLOv8 computer vision model to differentiate between parked and moving vehicles, and to monitor pedestrian traf…☆11Apr 16, 2024Updated 2 years ago
- A small framework for benchmarking machine learning models.☆22Jun 6, 2025Updated last year
- Go - Beginners | Intermediate | Advanced☆10Oct 7, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- [42-b3yond-6ug] This repository hosts BugBuster, our team’s submission to the AI Cyber Challenge Final Competition.☆30Aug 19, 2025Updated 10 months ago
- Foundation model-driven lab☆33Mar 25, 2026Updated 3 months ago
- ☆16Dec 16, 2024Updated last year
- A project space for Embodied Emulated Personas - Embodied neural networks trained by LLM chatbot teachers☆16Mar 30, 2023Updated 3 years ago
- Collaborative Discourse Manager☆11Nov 6, 2016Updated 9 years ago
- stream data generator☆15Jul 5, 2024Updated last year
- A smart distributed crawler that infers navigation models of structured websites, used to cluster pages based on their structure and extr…☆10Aug 17, 2025Updated 10 months ago