Giters
soulomoon

soulomoon

Geek Repo

85

followers

125

following

535

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

trackerslist

Updated list of public BitTorrent trackers

License:GPL-2.0Stargazers:45296Issues:1295Issues:436

doomemacs

An Emacs framework for the stubborn martian hacker

Language:Emacs LispLicense:MITStargazers:18855Issues:236Issues:4372

nixpkgs

Nix Packages collection & NixOS

Language:NixLicense:MITStargazers:16411Issues:278Issues:38787

telescope.nvim

Find, Filter, Preview, Pick. All lua, all the time.

Language:LuaLicense:MITStargazers:14687Issues:51Issues:1715

SS-Rule-Snippet

搜集、整理、维护 Surge / Quantumult (X) / Shadowrocket / Surfboard / clash (Premium) 实用规则。

Language:JavaScriptLicense:AGPL-3.0Stargazers:10670Issues:287Issues:152

LaTeX-Workshop

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

Language:TypeScriptLicense:MITStargazers:10396Issues:57Issues:2994

milkdown

🍼 Plugin driven WYSIWYG markdown editor framework.

Language:TypeScriptLicense:MITStargazers:8472Issues:50Issues:466

antigen

The plugin manager for zsh.

Language:ShellLicense:MITStargazers:7944Issues:103Issues:372

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Language:NixLicense:MITStargazers:6255Issues:55Issues:2132

trouble.nvim

🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.

Language:LuaLicense:Apache-2.0Stargazers:5097Issues:22Issues:321

ihp

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Language:HaskellLicense:MITStargazers:4840Issues:36Issues:809

plaidml

PlaidML is a framework for making deep learning work everywhere.

Language:C++License:Apache-2.0Stargazers:4580Issues:158Issues:601

vim-orgmode

Text outlining and task management for Vim based on Emacs' Org-Mode

Language:PythonLicense:NOASSERTIONStargazers:3099Issues:84Issues:280

asterius

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Language:HaskellStargazers:1978Issues:72Issues:293

vim-which-key

:tulip: Vim plugin that shows keybindings in popup

Language:Vim ScriptLicense:MITStargazers:1912Issues:16Issues:174

nixos-config

My NixOS configurations.

Language:NixLicense:MITStargazers:1856Issues:43Issues:22

hnix

A Haskell re-implementation of the Nix expression language

Language:NixLicense:BSD-3-ClauseStargazers:740Issues:35Issues:498

hstream

HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.

Language:HaskellLicense:BSD-3-ClauseStargazers:696Issues:23Issues:115

eff

🚧 a work in progress effect system for Haskell 🚧

Language:HaskellLicense:ISCStargazers:549Issues:55Issues:14

nix-darwin-dotfiles

Dotfiles managed via Nix-Darwin and Mk-Darwin-System, for schoolwork and kotlin, lua, and rust programming

Language:NixStargazers:387Issues:7Issues:11

Coqtail

Interactive Coq Proofs in Vim

Language:PythonLicense:MITStargazers:256Issues:8Issues:165

nix-zsh-completions

ZSH Completions for Nix

Language:ShellLicense:BSD-3-ClauseStargazers:219Issues:10Issues:18

haskell-template

Haskell project template using Nix + Flakes + VSCode (HLS)

Language:NixLicense:MITStargazers:215Issues:4Issues:42

yaml

Support for serialising Haskell to and from Yaml.

Language:HaskellStargazers:158Issues:9Issues:121

OS-X-Bluetooth-Pairing-Value-To-Windows-Value

A useful script to simultaneously pair a bluetooth device to your Mac in OS X and Boot Camp Windows

Language:AppleScriptLicense:NOASSERTIONStargazers:106Issues:7Issues:12

hnix-store

Haskell implementation of the Nix store

Language:HaskellLicense:Apache-2.0Stargazers:83Issues:10Issues:97

aria2-trackers

create config file of aria2 , use list at `https://github.com/ngosang/trackerslist`

Language:GoLicense:Apache-2.0Stargazers:66Issues:3Issues:2

hsfm

FileManager written in haskell

Language:HaskellLicense:GPL-2.0Stargazers:15Issues:6Issues:55

math-categories-awodey

Notes and exercises from Category Theory, 2nd ed. by Awodey

Language:TeXStargazers:4Issues:0Issues:0

ghc-proposals

Proposals and specifications for the Glasgow Haskell Compiler

Stargazers:2Issues:1Issues:0