the-sofi-uwu

the-sofi-uwu's Stars

• godotengine/godot

  Godot Engine – Multi-platform 2D and 3D game engine

  Language:C++88.4k1.5k52k20k

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust32.4k832.4k866

• MrKai77/Loop

  Window management made elegant.

  Language:Swift6.4k25357122

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.8k63279223

• zanfranceschi/rinha-de-backend-2024-q1

  Repositório da 2ª edição da Rinha de Backend

  Language:HTML1.8k1551940

• cedille/cedille

  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

  Language:Agda3642411927

• lecopivo/SciLean

  Scientific computing in Lean 4

  Language:Lean291173322

• ChilloutCharles/BrainFlowsIntoVRChat

  BrainFlow code that sends your brain's relaxation, focus metrics, and machine learned thought commands to vrchat avatar paramaters via OSC.

  Language:Python220101216

• brendanzab/language-garden

  A garden of small programming language implementations 🪴

  Language:OCaml164515

• Universidade-Livre/rinha-de-algoritmos

  Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!

  Language:Python1643437

• leanprover/verso

  Lean documentation authoring tool

  Language:Lean101123513

• david-christiansen/idris-type-providers

  Type provider library for Idris

  Language:Idris91906

• ufmg-smite/lean-smt

  Tactics for discharging Lean goals into SMT solvers.

  Language:Lean8861418

• Zokka-Dev/zokka-compiler

  Fork of compiler for Elm, a functional language for reliable webapps.

  Language:Elm81914

• Pivot-Studio/pivot-lang

  A Rust-like language with immix gc and other cool stuffs

  Language:Rust5521121

• siddhartha-gadgil/Saturn

  Experiments with SAT solvers with proofs in Lean 4

  Language:Lean51311

• 34j/best-of-lean4

  A list of awesome lean4 projects. Feel free to add your project.

  40322

• T-Brick/c0deine

  Reference compiler for c0

  Language:Lean28381

• pandaman64/lean-regex

  Language:Lean17241

• hargoniX/socket.lean

  sockets for Lean 4

  Language:Lean14129

• cartesi/machine-emulator-tools

  Set of tools to help the development

  Language:C++13113019

• Seasawher/mdgen

  Tool to generate markdown files from lean files. This is heavily inspired by lean2md.

  Language:Lean132241

• T-Brick/lean2wasm

  Tool for compiling Lean to WASM

  Language:Lean12201

• clonidine/ghb

  🤖 Discord Message Cleaner written in Rust

  Language:Rust7100

• FWuermse/lean-postgres

  Language:Lean7102

• BRonen/typoggers-lang

  Static typed poggers programming language

  Language:Haskell6100

• zippiehq/cartesi-lambada

  Language:Rust631386

• Lorenzobattistela/lambda-calculus-eval

  Language:C51100

• RINNE-TAN/hpie

  Minimal implementation of Pie language

  Language:Haskell5100

• TwoFX/HashMap

  Language:Lean120