Giters
Alberto Perez (albertprz)

albertprz

Geek Repo

10

followers

48

following

244

stars

Company:@47deg

Location:Malaga, Spain

Github PK Tool:Github PK Tool

Organizations
47deg

Alberto Perez's starred repositories

eldoc-box

childframe doc for eglot and anything that uses eldoc

Language:Emacs LispStargazers:314Issues:0Issues:0

eventlog2html

Visualise eventlog events as a static webpage

Language:HaskellLicense:NOASSERTIONStargazers:66Issues:0Issues:0

refined

Refinement types with static checking

Language:HaskellLicense:MITStargazers:181Issues:0Issues:0

purescript-refined

Purescript refinement types with runtime checking

Language:PureScriptStargazers:26Issues:0Issues:0

liquidhaskell-cabal

💧 Liquid Haskell integration for Cabal and Stack

Language:HaskellLicense:BSD-3-ClauseStargazers:24Issues:0Issues:0

liquidhaskell

Liquid Types For Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:1158Issues:0Issues:0

emacs-reformatter

Define commands which run reformatters on the current Emacs buffer

Language:Emacs LispStargazers:252Issues:0Issues:0

pipes

Compositional pipelines

Language:HaskellLicense:BSD-3-ClauseStargazers:486Issues:0Issues:0

Haskell-Optional-Args-Library

Optional function arguments

Language:HaskellLicense:BSD-3-ClauseStargazers:17Issues:0Issues:0

Haskell-MMorph-Library

Monad morphisms

Language:HaskellLicense:BSD-3-ClauseStargazers:47Issues:0Issues:0

managed

A monad for managed values

Language:HaskellLicense:BSD-3-ClauseStargazers:50Issues:0Issues:0

list-transformer

List monad transformer

Language:HaskellLicense:BSD-3-ClauseStargazers:60Issues:0Issues:0

Haskell-Errors-Library

Type-safe error handling

Language:HaskellLicense:BSD-3-ClauseStargazers:64Issues:0Issues:0

om-dash

Building blocks for org-based dashboards.

Language:Emacs LispLicense:GPL-3.0Stargazers:57Issues:0Issues:0

hell

Haskell-based shell scripting language

Language:HaskellStargazers:513Issues:0Issues:0

purescript-concur-react

Concur UI Framework for Purescript

Language:PureScriptLicense:MITStargazers:266Issues:0Issues:0

purescript-typeable

Reified types for Purescript

Language:PureScriptStargazers:21Issues:0Issues:0

floskell

Floskell is a flexible Haskell source code pretty printer.

Language:HaskellLicense:BSD-3-ClauseStargazers:175Issues:0Issues:0

ollama

Get up and running with Llama 3, Mistral, Gemma, and other large language models.

Language:GoLicense:MITStargazers:71938Issues:0Issues:0

lapce

Lightning-fast and Powerful Code Editor written in Rust

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

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Language:RustLicense:NOASSERTIONStargazers:35642Issues:0Issues:0

zellij

A terminal workspace with batteries included

Language:RustLicense:MITStargazers:18800Issues:0Issues:0

purescript-halogen-portal

Portals for Halogen: Render child components anywhere in the DOM

Language:PureScriptLicense:MITStargazers:26Issues:0Issues:0

purescript-halogen-store

Global state management for Halogen

Language:PureScriptLicense:MITStargazers:44Issues:0Issues:0

nerd-icons-ivy-rich

Excellent experience with Nerd icons for ivy/counsel.

Language:Emacs LispLicense:GPL-3.0Stargazers:13Issues:0Issues:0

Indium

A JavaScript development environment for Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:1130Issues:0Issues:0

purescript-deku

A PureScript web UI framework

Language:PureScriptLicense:Apache-2.0Stargazers:123Issues:0Issues:0

clifm

Command Line Interface File Manager

Language:HaskellLicense:BSD-3-ClauseStargazers:103Issues:0Issues:0

fzf-tab

Replace zsh's default completion selection menu with fzf!

Language:ShellLicense:MITStargazers:2883Issues:0Issues:0

fzf

:cherry_blossom: A command-line fuzzy finder

Language:GoLicense:MITStargazers:60964Issues:0Issues:0