Giters
Mariszo (mariszo)

mariszo

Geek Repo

4

followers

0

following

689

stars

Github PK Tool:Github PK Tool

Mariszo's starred repositories

electrum

Electrum Bitcoin Wallet

Language:PythonLicense:MITStargazers:7225Issues:366Issues:6606

crun

A fast and lightweight fully featured OCI runtime and C library for running containers

Language:CLicense:GPL-2.0Stargazers:2841Issues:53Issues:464

bdwgc

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

Language:CLicense:NOASSERTIONStargazers:2835Issues:100Issues:483

bash-completion

Programmable completion functions for bash

Language:ShellLicense:GPL-2.0Stargazers:2786Issues:55Issues:435

latexcv

:necktie: A collection of cv and resume templates written in LaTeX. Leave an issue if your language is not supported!

Language:TeXLicense:MITStargazers:2714Issues:46Issues:41

vim-vixen

Accelerates your web browsing with Vim power!!

Language:TypeScriptLicense:MITStargazers:2113Issues:41Issues:560

yi

The Haskell-Scriptable Editor

Language:HaskellLicense:GPL-2.0Stargazers:1502Issues:60Issues:787

publications

Publications from Trail of Bits

Language:PythonLicense:CC-BY-SA-4.0Stargazers:1341Issues:139Issues:11

OpenFPGA

An Open-source FPGA IP Generator

Language:VerilogLicense:MITStargazers:758Issues:41Issues:430

vim-latex

Enhanced LaTeX support for Vim

Language:Vim ScriptStargazers:551Issues:19Issues:157

conmon

An OCI container runtime monitor.

Language:CLicense:Apache-2.0Stargazers:403Issues:21Issues:124

open-source-fpga-resource

A list of resources related to the open-source FPGA projects

Stargazers:363Issues:40Issues:1

clay

A CSS preprocessor as embedded Haskell.

Language:HaskellLicense:NOASSERTIONStargazers:355Issues:12Issues:139

husk-scheme

A full implementation of the Scheme programming language for the Haskell Platform.

Language:HaskellLicense:MITStargazers:306Issues:17Issues:215

morloc

A typed, polyglot, functional language

Language:HaskellLicense:GPL-3.0Stargazers:193Issues:9Issues:16

ghc-lib

The GHC API, decoupled from GHC versions

Language:HaskellLicense:NOASSERTIONStargazers:160Issues:16Issues:68

accelerate-llvm

LLVM backend for Accelerate

Language:HaskellLicense:NOASSERTIONStargazers:152Issues:20Issues:57

waymonad

A wayland compositor based on ideas from and inspired by xmonad

Language:HaskellLicense:LGPL-2.1Stargazers:89Issues:22Issues:1

monad-control

Lift control operations, like exception catching, through monad transformers

Language:HaskellLicense:BSD-3-ClauseStargazers:58Issues:7Issues:26

NumMethHaskell

Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics

Language:HTMLStargazers:56Issues:18Issues:1

guix-science

Free scientific packages for GNU Guix.

Language:SchemeLicense:GPL-3.0Stargazers:43Issues:6Issues:21

seatd

[mirror] Seat management daemon and library (https://sr.ht/~kennylevinsen/seatd)

Language:CLicense:MITStargazers:41Issues:6Issues:0

regex-tdfa

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

Language:HaskellLicense:NOASSERTIONStargazers:36Issues:8Issues:25

cardano-world

Cardano world provides preprod and preview cardano networks, configuration documentation and miscellaneous automation.

Language:NixLicense:Apache-2.0Stargazers:30Issues:25Issues:6

magic-cookies

Remove all the cookies on the tray! - The Haskell iOS & Android board game

Stargazers:28Issues:8Issues:14

hpcguix-web

The code that drives https://hpc.guix.info/browse.

Language:JavaScriptLicense:AGPL-3.0Stargazers:9Issues:0Issues:0

batchd

Batch processing toolset for Linux / Unix

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:4Issues:45

slurm-proposals

A proposal system for Slurm written in Haskell

Language:HaskellLicense:MITStargazers:3Issues:0Issues:0

guile-gpu

FFI - CBLAS and common ML routines, support for AMDGPU

Language:SchemeStargazers:1Issues:0Issues:0

guile-machinelearning

Language:SchemeStargazers:1Issues:0Issues:0