Andrzej Sołtysik (asoltysik)

asoltysik

Geek Repo

Location:Kraków, Poland

Github PK Tool:Github PK Tool

Andrzej Sołtysik's starred repositories

moby

The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems

Language:GoLicense:Apache-2.0Stargazers:68345Issues:2898Issues:22611

code-server

VS Code in the browser

Language:TypeScriptLicense:MITStargazers:67160Issues:726Issues:3489

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustLicense:MITStargazers:52086Issues:320Issues:643

cheat.sh

the only cheat sheet you need

Language:PythonLicense:MITStargazers:37997Issues:581Issues:247

nushell

A new type of shell

feather

Simply beautiful open-source icons

Language:JavaScriptLicense:MITStargazers:24741Issues:259Issues:634

LaTeX-Workshop

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

Language:TypeScriptLicense:MITStargazers:10491Issues:58Issues:3021

debezium

Change data capture for a variety of databases. Please log issues at https://issues.redhat.com/browse/DBZ.

Language:JavaLicense:Apache-2.0Stargazers:10324Issues:217Issues:0

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Language:HaskellLicense:Apache-2.0Stargazers:2632Issues:51Issues:2171

inkwell

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Language:RustLicense:Apache-2.0Stargazers:2269Issues:19Issues:297

dear-github-2.0

📨 An open letter to GitHub from the maintainers of open source projects

servant

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

regolith-desktop

Meta package for the Regolith Desktop Environment

widdershins

OpenAPI / Swagger, AsyncAPI & Semoasa definitions to (re)Slate compatible markdown

Language:JavaScriptLicense:MITStargazers:1477Issues:16Issues:259

tapir

Rapid development of self-documenting APIs

Language:ScalaLicense:Apache-2.0Stargazers:1335Issues:45Issues:867

scala-steward

:robot: A bot that helps you keep your projects up-to-date

Language:ScalaLicense:Apache-2.0Stargazers:1139Issues:24Issues:505

elm-live

⚡ A flexible dev server for Elm. Live reload included.

Language:JavaScriptLicense:MITStargazers:1053Issues:17Issues:135

Arend

The Arend Proof Assistant

Language:JavaLicense:Apache-2.0Stargazers:689Issues:14Issues:251

elm-language-server

Language server implementation for Elm

Language:TypeScriptLicense:MITStargazers:416Issues:10Issues:366

intellij-elm

Elm plugin for IntelliJ Platform IDEs

Language:KotlinLicense:MITStargazers:392Issues:17Issues:468

elm-language-client-vscode

Improving your Elm experience since 2019

Language:TypeScriptLicense:MITStargazers:230Issues:5Issues:127

stryker4s

Mutation testing for Scala

Language:ScalaLicense:Apache-2.0Stargazers:198Issues:8Issues:162

sbt-missinglink

An sbt plugin for missinglink

Language:ScalaLicense:Apache-2.0Stargazers:133Issues:7Issues:5

elm-feather

Feather icons for elm

Language:ElmLicense:BSD-3-ClauseStargazers:77Issues:5Issues:14

elm-fontawesome

FontAwesome for Elm.

Language:ElmLicense:MITStargazers:33Issues:3Issues:11
Language:ScalaLicense:MITStargazers:28Issues:0Issues:0

elm-ui-dropdown

Dropdown module for Elm UI

Language:ElmLicense:MITStargazers:20Issues:8Issues:12

elm-jwt

Parse and verify JWT in Elm

Language:ElmLicense:GPL-3.0Stargazers:5Issues:1Issues:0
Language:JavaStargazers:1Issues:0Issues:0