Giters
Francesco Gazzetta (fgaz)

fgaz

Geek Repo

141

followers

102

following

1k

stars

Location:Sweden

Home Page:https://fgaz.me/about/

Twitter:@fgaz_

Github PK Tool:Github PK Tool

Organizations
haskell
Haskell-ITA
NixOS
wasp-os
wxHaskell

Francesco Gazzetta's starred repositories

mach-nix

Create highly reproducible python environments

Language:PythonLicense:MITStargazers:851Issues:0Issues:0

registry

Components as records of functions for Haskell

Language:HaskellLicense:NOASSERTIONStargazers:165Issues:0Issues:0

sixten

Functional programming with fewer indirections

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

rock

Build system

Language:HaskellLicense:NOASSERTIONStargazers:117Issues:0Issues:0

nixGL

A wrapper tool for nix OpenGL application [maintainer=@guibou]

Language:NixStargazers:658Issues:0Issues:0

agda2lagda

Simple conversion from Agda text to literate Agda text.

Language:HaskellLicense:UnlicenseStargazers:14Issues:0Issues:0

nvim-agda

Agda interaction pluging for neovim

Language:LuaStargazers:34Issues:0Issues:0

refl

Provides a Refl encoding in Rust

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

acc

Advanced Charging Controller

Language:ShellLicense:GPL-3.0Stargazers:1688Issues:0Issues:0

verneuil

Verneuil is a VFS extension for SQLite that asynchronously replicates databases to S3-compatible blob stores.

Language:CLicense:MITStargazers:414Issues:0Issues:0

TVideo

TVideo è un nuovo servizio di Teletext 100% Italiano che propone nuovi Minigiochi, Quiz e Notizie tramite la funzione Teletext

Stargazers:8Issues:0Issues:0

dinit

Service monitoring / "init" system

Language:C++License:Apache-2.0Stargazers:574Issues:0Issues:0

minigalaxy

A simple GOG client for Linux

Language:PythonLicense:GPL-3.0Stargazers:1098Issues:0Issues:0

awesome-minetest

List of awesome things related to Minetest

License:CC0-1.0Stargazers:19Issues:0Issues:0

freenet-core

Declare your digital independence

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

waspos-totpgenapp

Language:PythonStargazers:1Issues:0Issues:0

deda

Language:PythonLicense:GPL-3.0Stargazers:1545Issues:0Issues:0

windows-virtualdesktopindicator

Virtual desktop indicator for system tray

Language:C#License:MITStargazers:102Issues:0Issues:0

helix

A post-modern modal text editor.

Language:RustLicense:MPL-2.0Stargazers:32337Issues:0Issues:0

Publications

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Language:HaskellStargazers:1228Issues:0Issues:0

browser_extension

A browser extension that redirects popular sites to alternative privacy friendly frontends

Language:JavaScriptLicense:GPL-3.0Stargazers:3149Issues:0Issues:0

farside

A smart redirecting gateway for various frontend services

Language:ElixirLicense:MITStargazers:715Issues:0Issues:0

watt

Runtime for executing procedural macros as WebAssembly

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

awesome-piracy

A curated list of awesome warez and piracy links

Language:HTMLLicense:CC0-1.0Stargazers:24079Issues:0Issues:0

cabal-clean

Remove outdated compilation artefacts left by cabal v2-build

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

hubris

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Language:RustLicense:MPL-2.0Stargazers:8Issues:0Issues:0

Taskfile

Repository for the Taskfile template.

Language:ShellStargazers:342Issues:0Issues:0

thax

ctags generation for haskell projects with nix dependency management

Language:NixLicense:NOASSERTIONStargazers:9Issues:0Issues:0

bevy

A refreshingly simple data-driven game engine built in Rust

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

aojdk-updatewatcher

Automatic update tool for AdoptOpenJDK, Eclipse Temurin™ and/or IBM® Semeru® Open Edition releases

Language:C#License:MITStargazers:125Issues:0Issues:0