Giters
Julien Debon (sir4ur0n)

sir4ur0n

Geek Repo

35

followers

2

following

133

stars

Company:@tweag

Location:France

Home Page:https://sir4ur0n.github.io

Github PK Tool:Github PK Tool

Julien Debon's starred repositories

alacritty

A cross-platform, OpenGL terminal emulator.

Language:RustLicense:Apache-2.0Stargazers:53944Issues:451Issues:5656

nushell

A new type of shell

Language:RustLicense:MITStargazers:30618Issues:182Issues:5352

synapse

Synapse: Matrix homeserver written in Python/Twisted.

Language:PythonLicense:Apache-2.0Stargazers:11762Issues:246Issues:6565

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:4716Issues:35Issues:807

nickel

Better configuration for less

Language:RustLicense:MITStargazers:2191Issues:36Issues:560

nix-direnv

A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]

Language:ShellLicense:MITStargazers:1551Issues:15Issues:173

neuron

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

Language:HaskellLicense:AGPL-3.0Stargazers:1508Issues:35Issues:387

nil

NIx Language server, an incremental analysis assistant for writing in Nix.

Language:RustLicense:Apache-2.0Stargazers:1177Issues:11Issues:95

edamagit

Magit for VSCode

Language:TypeScriptLicense:MITStargazers:1083Issues:17Issues:189

dirvish

A polished Dired with batteries included.

Language:Emacs LispLicense:GPL-3.0Stargazers:767Issues:7Issues:196

nix-portable

Nix - Static, Permissionless, Installation-free, Pre-configured

Language:NixLicense:MITStargazers:749Issues:18Issues:58

nix-output-monitor

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Language:HaskellLicense:AGPL-3.0Stargazers:713Issues:9Issues:116

transient

Transient commands

Language:Emacs LispLicense:GPL-3.0Stargazers:622Issues:23Issues:187

vscode-haskell

VS Code extension for Haskell, powered by haskell-language-server

Language:TypeScriptLicense:NOASSERTIONStargazers:545Issues:14Issues:403

funflow

Functional workflows

Language:HaskellLicense:MITStargazers:360Issues:51Issues:76

tagref

Tagref helps you manage cross-references in your code.

Language:RustLicense:NOASSERTIONStargazers:169Issues:5Issues:3

rel8

Hey! Hey! Can u rel8?

Language:HaskellLicense:NOASSERTIONStargazers:149Issues:18Issues:89

opam2nix

Generate nix expressions from opam packages

Language:OCamlLicense:MITStargazers:93Issues:13Issues:62

in-other-words

A higher-order effect system where the sky's the limit

Language:HaskellLicense:BSD-3-ClauseStargazers:89Issues:7Issues:13

swagger2

Swagger 2.0 data model.

Language:HaskellLicense:BSD-3-ClauseStargazers:73Issues:15Issues:118

hls-tutorial

A tutorial on writing Haskell Language Server plugins

Stargazers:70Issues:6Issues:0

hoogle_plus

Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

Language:HaskellLicense:MITStargazers:60Issues:6Issues:78

codept

Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer

Language:OCamlLicense:NOASSERTIONStargazers:56Issues:8Issues:22

congressus

Un outil de gestion de réunion avec prise de décision s'appuyant sur un pool de votants

Language:PHPLicense:GPL-3.0Stargazers:55Issues:13Issues:225

AURIS

A new, open source mission control system in Haskell

Language:CLicense:BSD-3-ClauseStargazers:53Issues:6Issues:36

openapi3

OpenAPI 3.0 data model

Language:HaskellLicense:BSD-3-ClauseStargazers:39Issues:16Issues:41

servant-openapi3

OpenAPI 3.0 for Servant

Language:HaskellLicense:BSD-3-ClauseStargazers:37Issues:14Issues:21

dowsing

áš› A type of divination employed in attempts to locate identifiers matching a given type expression

Language:OCamlLicense:ISCStargazers:35Issues:6Issues:16

nixos-vsliveshare

Live Share support in Visual Studio Code for NixOS

Language:NixLicense:MITStargazers:24Issues:6Issues:9

ghc-recompilation-repro

Why is my code not changing?

Language:ShellStargazers:1Issues:3Issues:0