karipov/verified-compiler karipov/verified-compiler

  • Stars
    star
    1
  • Language Lean
  • Created 11 months ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
karipov/verified-compiler
github

karipov

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

⛓️ Simple verified compiler in Lean4

More Repositories

1

creationDate

⏳ Approximating creation dates for telegram accounts
Python
92
star
2

atlink

🔗 A telegram bot that turns @ links into instagram links both in private chats and groups. Source code for: https://youtu.be/jhFsFZXZbu4
Python
46
star
3

tagtrack

#️⃣ Telegram macOS Swift bug and suggestions tracker; integrates with Trello.
Python
8
star
4

cross-prom

🔄 cross-prom is a service for cross-promotions in telegram. It can collect channels into a list, and output all of them into one message. It has a system of filtering.
Python
6
star
5

spotify-to-telegram

Posts a song on a Telegram channel as soon as it's liked on Spotify
Python
2
star
6

greenbook

JavaScript
2
star
7

drone

A step-by-step guide to drone photogrammetry with off-the-shelf parts by two undergrads at Brown.
1
star
8

campfire

Upgrade your Camping Experience
Python
1
star
9

rsgraph

🔲 telegra.ph API bindings in Rust
Rust
1
star
10

capturePlate

🚘 Project capturePlate is an ALPR system used for keeping track of parked vehicles.
Python
1
star