Giters
Marcin Wojnarowski (shilangyu)

shilangyu

Geek Repo

57

followers

7

following

100

stars

Location:Lausanne, Switzerland

Home Page:shilangyu.dev

Github PK Tool:Github PK Tool

Marcin Wojnarowski's starred repositories

FLT

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

Language:TeXLicense:Apache-2.0Stargazers:120Issues:0Issues:0

biome

A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

Language:RustLicense:Apache-2.0Stargazers:11409Issues:0Issues:0

StyLua

An opinionated Lua code formatter

Language:RustLicense:MPL-2.0Stargazers:1423Issues:0Issues:0

neovim

Vim-fork focused on extensibility and usability

Language:Vim ScriptLicense:NOASSERTIONStargazers:78846Issues:0Issues:0

pympress

Pympress is a simple yet powerful PDF reader designed for dual-screen presentations

Language:PythonLicense:GPL-2.0Stargazers:1073Issues:0Issues:0

MDsveX

A markdown preprocessor for Svelte.

Language:JavaScriptLicense:MITStargazers:2232Issues:0Issues:0

roux-trainers

Rubik's cube trainer / solver for the Roux method.

Language:TypeScriptLicense:GPL-3.0Stargazers:46Issues:0Issues:0

extism

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

Language:RustLicense:BSD-3-ClauseStargazers:3895Issues:0Issues:0

mathlib4

The math library of Lean 4

Language:LeanLicense:Apache-2.0Stargazers:1057Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:3899Issues:0Issues:0

cqrs_rust

Language:RustStargazers:1Issues:0Issues:0

terraform

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.

Language:GoLicense:NOASSERTIONStargazers:41451Issues:0Issues:0

sdk

The Dart SDK, including the VM, dart2js, core libraries, and more.

Language:DartLicense:BSD-3-ClauseStargazers:9884Issues:0Issues:0

aha

Ansi HTML Adapter

Language:CLicense:NOASSERTIONStargazers:885Issues:0Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:4668Issues:0Issues:0

onnx

Open standard for machine learning interoperability

Language:PythonLicense:Apache-2.0Stargazers:17064Issues:0Issues:0

CompCert

The CompCert formally-verified C compiler

Language:CoqLicense:NOASSERTIONStargazers:1798Issues:0Issues:0

koka

Koka language compiler and interpreter

Language:HaskellLicense:NOASSERTIONStargazers:3116Issues:0Issues:0

logos

Create ridiculously fast Lexers

Language:RustLicense:Apache-2.0Stargazers:2678Issues:0Issues:0

hunghorse

Stargazers:2Issues:0Issues:0

BQN

An APL-like programming language. Self-hosted!

Language:KakouneScriptLicense:ISCStargazers:844Issues:0Issues:0

Ripserer.jl

Flexible and efficient persistent homology computation.

Language:JuliaLicense:MITStargazers:61Issues:0Issues:0

MuseScore

MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

Language:C++License:NOASSERTIONStargazers:11694Issues:0Issues:0

patrol

Flutter-first UI testing framework. Ready for action!

Language:DartLicense:Apache-2.0Stargazers:799Issues:0Issues:0

futhark

:boom::computer::boom: A data-parallel functional programming language

Language:HaskellLicense:ISCStargazers:2325Issues:0Issues:0

tree-sitter

An incremental parsing system for programming tools

Language:RustLicense:MITStargazers:16918Issues:0Issues:0

language

Design of the Dart language

Language:TeXLicense:NOASSERTIONStargazers:2591Issues:0Issues:0

RetroArch

Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.

Language:CLicense:GPL-3.0Stargazers:9556Issues:0Issues:0

Adrenaline

Custom Firmware 6.61 Adrenaline for the PSP Emulator

Language:CLicense:GPL-3.0Stargazers:1463Issues:0Issues:0

poe2arb

POEditor JSON to Flutter ARB converter

Language:GoLicense:Apache-2.0Stargazers:31Issues:0Issues:0