-
LeanDojo Public
Forked from lean-dojo/LeanDojoTool for data extraction and interacting with Lean programmatically.
Python MIT License UpdatedMay 8, 2025 -
llm4ad Public
Forked from Optima-CityU/llm4adLLM4AD: A Platform for Algorithm Design with Large Language Model
Python MIT License UpdatedMay 5, 2025 -
-
Deepmind-Nature-Repro-FunSearch Public
Forked from YuanTian-SJTU/Deepmind-Nature2023-Repro-FunSearchPython Apache License 2.0 UpdatedMar 1, 2025 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedFeb 19, 2025 -
-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML UpdatedFeb 14, 2025 -
hello-algo Public
Forked from krahets/hello-algo《Hello 算法》：动画图解、一键运行的数据结构与算法教程，支持 Java, C++, Python, Go, JS, TS, C#, Swift, Rust, Dart, Zig 等语言。
Java Other UpdatedFeb 13, 2025 -
text-extract-api Public
Forked from CatchTheTornado/text-extract-apiDocument (PDF, Word, PPTX ...) extraction and parse API using state of the art modern OCRs + Ollama supported models. Anonymize documents. Remove PII. Convert any document or picture to structured …
Python MIT License UpdatedFeb 4, 2025 -
Pathfinding-Algorithms-Comparison Public
Forked from FilipTwardawa/Pathfinding-Algorithms-ComparisonThis repository provides a comparative analysis of three popular path finding algorithms: Dijkstra's Algorithm, A* (A-star) Algorithm and the use of Heuristic Functions in finding the shortest path…
Python MIT License UpdatedJan 30, 2025 -
leetcode Public
Forked from azl397985856/leetcodeLeetCode Solutions: A Record of My Problem Solving Journey.( leetcode题解，记录自己的leetcode解题之路。)
JavaScript Other UpdatedJan 15, 2025 -
AddisMap Public
Forked from yohannes15/AddisMapA Django App that finds the path between two points (selected by the user) on a real world map, using different path finding algorithms (Dijkstra, A-Star, BFS, Greedy-First...) On top of that, the …
Python UpdatedDec 29, 2024 -
math2001 Public
Forked from hrmacbeth/math2001Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
HTML UpdatedDec 9, 2024 -
LLaMA-Factory Public
Forked from hiyouga/LLaMA-FactoryUnified Efficient Fine-Tuning of 100+ LLMs (ACL 2024)
Python Apache License 2.0 UpdatedOct 22, 2024 -
OpenFunsearch Public
Forked from Remmie0/OpenFunsearchOpen Funsearch implementation of Google Deepmind's Funsearch
Jupyter Notebook Apache License 2.0 UpdatedOct 14, 2024 -
replicating-funsearch Public
Forked from kitft/funsearchReplicating funsearch
Python Apache License 2.0 UpdatedOct 13, 2024 -
course Public
Forked from potassco-asp-course/courseThe main repository integrating the LaTeX beamer-based slides
TeX Creative Commons Zero v1.0 Universal UpdatedOct 6, 2024 -
python-astar Public
Forked from jrialland/python-astarSimple implementation of the a-star algorithm in Python 🌟
Python BSD 3-Clause "New" or "Revised" License UpdatedSep 20, 2024 -
llm-astar Public
Forked from SilinMeng0510/llm-astarLLM-A*: Large Language Model Enhanced Incremental Heuristic Search on Path Planning
Python MIT License UpdatedSep 19, 2024 -
python-pathfinding Public
Forked from brean/python-pathfindingImplementation of common pathfinding algorithms
Python MIT License UpdatedSep 8, 2024 -
Sorting-and-Pathfinding-Algorithms-Visualizer Public
Forked from lkshh9/Sorting-and-Pathfinding-Algorithms-Visualizeran interactive visualizer of popular sorting algorithms and graph path finding algorithms with customizable input data, adjustable parameters, and real-time comparisons
Python UpdatedAug 23, 2024 -
AGV_dijkstra Public
Forked from Superone77/AGV_dijkstraIn the context of multiple AGVs in warehouses, path planning and two-vehicle avoidance are realized based on the Dijkstra algorithm. | 仓储多AGV背景下，基于dijkstra算法，实现路径规划和两车避让
C++ UpdatedAug 18, 2024 -
notus-nextjs Public
Forked from creativetimofficial/notus-nextjsNotus NextJS: Free Tailwind CSS UI Kit and Admin
JavaScript MIT License UpdatedJul 11, 2024 -
lagrangebench Public
Forked from tumaer/lagrangebenchLagrangeBench: A Lagrangian Fluid Mechanics Benchmarking Suite
Jupyter Notebook 7F2B MIT License UpdatedJul 7, 2024 -
dair_pll Public
Forked from ebianchi/dair_pllDAIRLab Physics-based Learning Library
Python BSD 3-Clause "New" or "Revised" License UpdatedJun 24, 2024 -
PathFinding.js Public
Forked from qiao/PathFinding.jsA comprehensive path-finding library for grid based games
JavaScript UpdatedJun 20, 2024 -
IMS-Blazor-8 Public
Forked from frank-liu-toronto/IMS-Blazor-8Implement the View Inventories Use Case
HTML UpdatedJun 12, 2024 -
searchformer Public
Forked from facebookresearch/searchformerOfficial codebase for the paper "Beyond A* Better Planning with Transformers via Search Dynamics Bootstrapping".
Jupyter Notebook Other UpdatedJun 11, 2024 -
sph-hae Public
Forked from tumaer/sph-hae[GSI 2023] Learning Lagrangian Fluid Mechanics with E(3)-Equivariant GNNs
Python MIT License UpdatedJun 3, 2024 -
mslearn-interact-with-data-blazor-web-apps Public
Forked from MicrosoftDocs/mslearn-interact-with-data-blazor-web-appsSample repo for Interact with Data for Blazor Web Apps Learn Module
CSS Creative Commons Attribution 4.0 International UpdatedMay 13, 2024
{{ message }}