srghma
https://srghma.github.io/how-life-was-created https://docs.google.com/presentation/d/1x1WXcqXbxWo-Nj3lzXgcSBTdmV-8Ohs9lGZDlfMI76g/edit?usp=sharing
NoneUkranian from Donetsk, rn in Cambodia
srghma's Stars
pavlobu/deskreen
Deskreen turns any device with a web browser into a secondary screen for your computer. ⭐️ Star to support our work!
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
tokio-rs/mini-redis
Incomplete Redis client and server implementation using Tokio - for learning purposes only
porjo/youtubeuploader
Scripted uploads to Youtube
JetBrains/Arend
The Arend Proof Assistant
ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
leanprover-community/lean4game
Server to host lean games.
martinescardo/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
HigherOrderCO/HVM3
HVM3
thehottgame/TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
ollef/rock
Build system
andrejbauer/Homotopy
Homotopy theory in Coq.
themanyone/voice_typing
State-of-the-art voice typing everywhere + txt terminals (Linux or WFL sesson on Windows.) with a simple bash script. Usable with X. Does not require X.
ammkrn/nanoda_lib
Library implementing type inference/checking functionality based on the Lean theorem prover
emilyriehl/infinity-cosmos
A blueprint for a formalization of infinity-cosmos theory in Lean.
RobertHarper/hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
bamboo/idris2dart
The Dart backend for Idris 2.
vpatryshev/wowiki
It is just my own wiki website. Nothing personal there, so it's public.
Crivella/ocr_translate
Django based web server for running OCR + Translation of incoming images
Z-snails/Idris2-Grin
GRIN backend for Idris2
kasiaMarek/TyRE
andrejbauer/formalized-mathematics-in-lean
A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
nvim-neorocks/neorocks
Run busted tests with Neovim
Zelenya/purescript-shadcn-tailwind-copypaste
A minimal interesting project that can be used to play around with PureScript (along with react, shadcn, and tailwind)
joneshf/purs-tools
A collection of PureScript tools
harryprayiv/cheeblr
Functional Reactive Purescript Deku/Hyrule PoS System for Cannabis Dispensaries
Kamirus/purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
evertonstz/youtube-upload
A youtube-upload fork with caption/subtitle upload support
P4Cu/p4c
environment/tooling setup
andrevidela/PLFA-idris
PLFA exercises in IDris