Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for python lean
lean
x
python
x
45 search results found
Leandojo
⭐
397
Tool for data extraction and interacting with Lean programmatically.
Parsel
⭐
319
Code for Parsel 🐍 - generate complex programs with language models
Plata
⭐
187
Plata - the lean and mean Django-based Shop
Llm Verified With Monte Carlo Tree Search
⭐
143
LLM verified with Monte Carlo Tree Search
Reprover
⭐
136
Retrieval-Augmented Theorem Provers for Lean
Pecan
⭐
105
A WSGI object-dispatching web framework, designed to be lean and fast with few dependencies.
Leandojochatgpt
⭐
90
ChatGPT plugin for theorem proving in Lean
Joeflow
⭐
75
The workflow automation framework for machines with heart
Learn Python Roadmap
⭐
75
A roadmap for learning python for General Usage, and Data Science
Django Rulez
⭐
63
A lean and mean object-level rules system for the Django framework
Reddit Stance Classifier
⭐
62
A Flask webapp & Python scripts for predicting reddit users' political leaning, using their comment history.
Llmstep
⭐
58
llmstep: [L]LM proofstep suggestions in Lean 4.
Lushi8
⭐
47
A tutorial for building your own collection of livestream
Format_lean
⭐
46
A Lean file formatter
Scruffy Server
⭐
41
Scruffy micro web server to have your own UML class/sequence diagram page like yUML and even more lean.
Jenkins_pipeline
⭐
41
A lean Continuous Deployment, Testing and Integration Pipeline using CoreOS/Docker/Jenkins
Theorem_proving_in_lean
⭐
41
Theorem proving in Lean
Mathlib Tools
⭐
32
Development tools for https://github.com/leanprover-community/mathlib
Pygraphicsgui
⭐
24
A "CookieCutter" for a Pythonic GUI with custom graphics - clone this to jump-start your project and learn how to integrate between ModernGL and Tkinter on Python3.6.
Motorcycle Lean Assist
⭐
23
Using a CNN to determine lean angle of a motorcycle
Leanstr
⭐
23
A "lean" string class for Python, using UTF-8 internally
Lean Life
⭐
20
Label Efficient Learning From Explanations
Jlf
⭐
19
Just Lean Forward
Lean Client Python
⭐
18
Python talking to the Lean theorem prover
Doc Gen
⭐
18
Generate HTML documentation for mathlib and Lean
Blockchainengineering
⭐
16
Learn to think like a blockchain designer by solving practical challenges
Whatsapp Parser Lite
⭐
15
Parses WhatsApp Chat logs
Mturk Lean External Question
⭐
14
A lean, mean, very quickly deployable ExternalQuestion template for Amazon Mechanical Turk. Simplified as a static page.
Django Easy Split
⭐
12
Easy split testing for Django.
Leancrawler
⭐
12
A python library which gathers statistics and relational information about Lean libraries.
Quantconnect Stubs Generator
⭐
10
Automatically generate Python type stubs for QuantConnect's Lean
Django Getting Started
⭐
10
Capsul
⭐
8
Collaborative Analysis Platform : Simple, Unifying, Lean
Viper
⭐
7
A Python environment manager built in Lean 4
Beryllium
⭐
7
一个基于selenium的快速编写爬虫脚本的爬虫框架-beryllium,旨在让用户不再操作DOM元
M17n Lean
⭐
6
System-wide Lean input method
Exploit Dev Series
⭐
6
Exploit research series - Null Singapore workshop
Kit
⭐
6
Kit is a Django project that provides built-in apps and REST API. It also offers several kinds of built-in web sites as well, like conversion and landing page.
Leanprover Contrib
⭐
5
Lmbm
⭐
5
Lean Mean Bean Machine, a Plinko-themed 2d esoteric language
Sdk
⭐
5
Public smartz platform resources (integration, SDK, etc)
Nba_machine Learning
⭐
5
Opentestbed
⭐
5
Lean OpenWSN/OpenMote testbed
Docker Elasticsearch Curator
⭐
5
Lean Elasticsearch Curator container image, based on Alpine Linux 3.7 and Python 3.
Webandgis
⭐
5
Lean and mean geospatial layers management, based on Django
Related Searches
Python Django (28,897)
Python Machine Learning (20,195)
Python Flask (17,643)
Python Dataset (14,792)
Python Docker (14,113)
Python Tensorflow (13,736)
Python Command Line (13,351)
Python Deep Learning (13,092)
Python Jupyter Notebook (12,976)
Python Network (11,495)
1-45 of 45 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.