srghma

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!

  Language:TypeScript18.3k2501711k

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.9k106190420

• tokio-rs/mini-redis

  Incomplete Redis client and server implementation using Tokio - for learning purposes only

  Language:Rust4.2k4542490

• porjo/youtubeuploader

  Scripted uploads to Youtube

  Language:Go80020158101

• JetBrains/Arend

  The Arend Proof Assistant

  Language:Java7101325433

• ImperialCollegeLondon/FLT

  Ongoing Lean formalisation of the proof of Fermat's Last Theorem

  Language:Lean396128657

• leanprover-community/lean4game

  Server to host lean games.

  Language:TypeScript2441124643

• martinescardo/HoTT-UF-Agda-Lecture-Notes

  Lecture notes on univalent foundations of mathematics with Agda

  Language:Agda224161320

• HigherOrderCO/HVM3

  HVM3

  Language:Haskell164131014

• thehottgame/TheHoTTGame

  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

  Language:Agda12561317

• ollef/rock

  Build system

  Language:Haskell123778

• andrejbauer/Homotopy

  Homotopy theory in Coq.

  Language:Verilog921118

• 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.

  Language:Shell84628

• ammkrn/nanoda_lib

  Library implementing type inference/checking functionality based on the Lean theorem prover

  Language:Rust55523

• emilyriehl/infinity-cosmos

  A blueprint for a formalization of infinity-cosmos theory in Lean.

  Language:TeX537259

• RobertHarper/hott-notes

  15-819 (Homotopy Type Theory) Lecture Notes

  Language:TeX531412

• bamboo/idris2dart

  The Dart backend for Idris 2.

  Language:Idris50875

• vpatryshev/wowiki

  It is just my own wiki website. Nothing personal there, so it's public.

  Language:TeX39312

• Crivella/ocr_translate

  Django based web server for running OCR + Translation of incoming images

  Language:Python374233

• Z-snails/Idris2-Grin

  GRIN backend for Idris2

  Language:Idris33613

• kasiaMarek/TyRE

  Language:Idris26432

• 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

  Language:Lean25303

• nvim-neorocks/neorocks

  Run busted tests with Neovim

  Language:Nix25260

• Zelenya/purescript-shadcn-tailwind-copypaste

  A minimal interesting project that can be used to play around with PureScript (along with react, shadcn, and tailwind)

  Language:PureScript14120

• joneshf/purs-tools

  A collection of PureScript tools

  Language:Starlark111111

• harryprayiv/cheeblr

  Functional Reactive Purescript Deku/Hyrule PoS System for Cannabis Dispensaries

  Language:PureScript7101

• Kamirus/purescript-functional-concepts

  Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings

  Language:PureScript5201

• evertonstz/youtube-upload

  A youtube-upload fork with caption/subtitle upload support

  Language:Python4000

• P4Cu/p4c

  environment/tooling setup

  Language:Python4200

• andrevidela/PLFA-idris

  PLFA exercises in IDris

  Language:Idris3301