Giters
soulomoon

soulomoon

Geek Repo

85

followers

134

following

547

stars

Company:Looking for a haskell position

Home Page:https://stackoverflow.com/users/5693521/soulomoon

Twitter:@patpaterish

Github PK Tool:Github PK Tool

soulomoon's starred repositories

996.ICU

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

License:NOASSERTIONStargazers:269556Issues:4221Issues:0

frp

A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.

Language:GoLicense:Apache-2.0Stargazers:82919Issues:1568Issues:3448

code-server

VS Code in the browser

Language:TypeScriptLicense:MITStargazers:66875Issues:727Issues:3481

ripgrep

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

Language:RustLicense:UnlicenseStargazers:46718Issues:294Issues:1604

lazydocker

The lazier way to manage everything docker

Language:GoLicense:MITStargazers:35625Issues:242Issues:309

955.WLB

955 不加班的公司名单 - 工作 955，work–life balance (工作与生活的平衡)

Stargazers:34487Issues:721Issues:259

vue-cli

🛠️ webpack-based tooling for Vue.js Development

Language:JavaScriptLicense:MITStargazers:29759Issues:637Issues:5483

coc.nvim

Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

Language:TypeScriptLicense:NOASSERTIONStargazers:24202Issues:125Issues:3363

exa

A modern replacement for ‘ls’.

Language:RustLicense:MITStargazers:23456Issues:136Issues:881

OSX-KVM

Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.

Language:PythonStargazers:19639Issues:492Issues:0

Karabiner-Elements

Karabiner-Elements is a powerful utility for keyboard customization on macOS Sierra (10.12) or later.

Language:C++License:UnlicenseStargazers:18366Issues:208Issues:3694

How-To-Secure-A-Linux-Server

An evolving how-to guide for securing a Linux server.

License:CC-BY-SA-4.0Stargazers:17116Issues:326Issues:71

wifi-cracking

Crack WPA/WPA2 Wi-Fi Routers with Airodump-ng and Aircrack-ng/Hashcat

License:MITStargazers:11270Issues:372Issues:89

semantic

Parsing, analyzing, and comparing source code across many languages

Language:HaskellStargazers:8918Issues:396Issues:271

folium

Python Data. Leaflet.js Maps.

Language:PythonLicense:MITStargazers:6789Issues:163Issues:1109

javaparser

Java 1-21 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

Language:JavaLicense:NOASSERTIONStargazers:5343Issues:144Issues:2256

plt

Programming Language Theory λΠ

Language:CSSStargazers:5189Issues:276Issues:23

Unshaky

A software attempt to address the "double key press" issue on Apple's butterfly keyboard [not actively maintained]

Language:SwiftLicense:MITStargazers:3011Issues:37Issues:145

lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

Language:HaskellLicense:NOASSERTIONStargazers:2011Issues:68Issues:576

reanimate

Haskell library for building declarative animations based on SVG graphics

Language:HaskellLicense:UnlicenseStargazers:1109Issues:27Issues:87

vint

Fast and Highly Extensible Vim script Language Lint implemented in Python.

Language:PythonLicense:MITStargazers:698Issues:22Issues:189

Arend

The Arend Proof Assistant

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

hpack

hpack: A modern format for Haskell packages

Language:HaskellLicense:MITStargazers:611Issues:14Issues:259

unicode.vim

A Vim plugin that provides a completion function for Unicode glyphs

Language:Vim ScriptStargazers:451Issues:14Issues:40

dh-core

Functional data science

Language:HaskellStargazers:137Issues:16Issues:44

CS410-18

being the teaching materials and exercises for CS410 in the 2018/19 session

Language:AgdaStargazers:56Issues:12Issues:0

recschemes

Text and Haskell source for my blog series on recursion schemes.

Language:HaskellLicense:NOASSERTIONStargazers:44Issues:5Issues:8

ASRock-Z390M-Pro4-Hackintosh-OC

ASRock Z390M Pro4 + Intel i5 9500 + AMD Radeon RX 5500XT 8 GB Hackintosh OC

Stargazers:17Issues:3Issues:6

leetcode-everyday

一起每天刷题～

Language:C++Stargazers:9Issues:8Issues:4

ada-gnat

Docker: Ubuntu with GNAT installed

Language:DockerfileStargazers:3Issues:3Issues:0