Lucifer-02

Lucifer-02's Stars

• realpython/python-guide

  Python best practices guidebook, written for humans.

  Language:Batchfile28.4k5.8k

• mendableai/firecrawl

  🔥 Turn entire websites into LLM-ready markdown or structured data. Scrape, crawl and extract with a single API.

  Language:TypeScript18.7k1.4k

• kassane/lean4-zig

  Zig bindings for Lean4

  Language:Zig81

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.7k424

• dabeaz-course/python-mastery

  Advanced Python Mastery (course by @dabeaz)

  Language:Python10.7k1.8k

• dabeaz-course/practical-python

  Practical Python Programming (course by @dabeaz)

  Language:Python9.9k6.5k

• tqdm/tqdm

  :zap: A Fast, Extensible Progress Bar for Python and CLI

  Language:Python28.7k1.4k

• DS4SD/docling

  Get your documents ready for gen AI

  Language:Python9.5k451

• altera-al/project-sid

  77118

• Freedium-cfd/web

  THIS REPOSITORY IS JUST MIRROR! Main development repository is https://codeberg.org/Freedium-cfd/web

  Language:Python68252

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust17.4k427

• microsoft/OmniParser

  A simple screen parsing tool towards pure vision based GUI agent

  Language:Jupyter Notebook4.7k355

• bagggage/bamos

  Open-source operating system

  Language:Zig20

• yrashk/zig-rcsp

  Reference-counted Shared Pointer for Zig

  Language:Zig283

• microsoft/verona

  Research programming language for concurrent ownership

  Language:C++3.6k165

• pedropark99/zig-book

  An open, technical and introductory book for the Zig programming language

  Language:Zig59722

• zohaibbashir/Google-Maps-Scrapper

  This code is used to perform web scraping and data extraction from Google Maps. It is particularly designed for obtaining information about businesses, including their name, address, website, phone number, reviews, and more.

  Language:Python4619

• python-visualization/folium

  Python Data. Leaflet.js Maps.

  Language:Python6.9k2.2k

• EvanLi/Github-Ranking

  :star:Github Ranking:star: Github stars and forks ranking list. Github Top100 stars list of different languages. Automatically update daily. | Github仓库排名，每日自动更新

  Language:Python7k456

• gosom/google-maps-scraper

  scrape data data from Google Maps. Extracts data such as the name, address, phone number, website URL, rating, reviews number, latitude and longitude, reviews,email and more for each place

  Language:Go941128

• jakeee51/gomaps

  A Google Maps web scraper that retrieves place data based on a search

  Language:Python357

• KoljaB/RealtimeTTS

  Converts text to speech in realtime

  Language:Python2k202

• rhasspy/piper

  A fast, local neural text to speech system

  Language:C++6.6k478

• saviorand/lightbug_http

  Simple and fast HTTP framework for Mojo! 🔥

  Language:Mojo57435

• Mojo-Numerics-and-Algorithms-group/NuMojo

  NuMojo is a library for numerical computing in Mojo 🔥 similar to numpy in Python.

  Language:Mojo11315

• mojicians/awesome-mojo

  A curated list of awesome Mojo 🔥 frameworks, libraries, software and resources

  90052

• rd4com/mojo-learning

  📖 Learn some mojo !

  1295

• dorjeduck/llm.mojo

  port of Andrjey Karpathy's llm.c to Mojo

  Language:Mojo32413

• ziishaned/learn-regex

  Learn regex the easy way

  45.7k6.2k

• zigcc/zig-cookbook

  Simple Zig programs that demonstrate good practices to accomplish common programming tasks.

  Language:Zig75931