Gianluca Scacco's repositories
bbdays
Babashka days calculations
clocop
A Clojure wrapper for JaCoP, a Java constraint programming engine.
demo-js
A JS-enabled demo Mongoose OS firmware
depc
Like C and C++ but with Dependent Types
dotfiles
My dotfiles
entropy
Shannon entropy of a file
gorex
Go regular expression cli application
gorilla-notebook
A notebook application/-library based on Gorilla-REPL
gorilla-plot
A simple data-driven plotting library for Gorilla REPL.
gorilla-renderable
The custom render protocol for Gorilla REPL
gorilla-repl
A rich REPL for Clojure in the notebook style. Now on clojure version 1.9.0
JADE-JavaAsterixDecoderEncoder
JADE is an API for decoding and encoding ASTERIX messages.
jpg
jpeg file info in rust
laslidar
A simple python library for reading lidar point clouds from .las files
lein-gorilla
A leiningen plugin for gscacco Gorilla REPL with clojure 1.9.0
png
Command line tool that extracts informations from png file
promela
Promela parser using PLY (Python lex-yacc)
spacy-neovim
A base Neovim configuration template inspired by Spacemacs
st
Luke's fork of the suckless simple terminal (st) with vim bindings and Xresource compatibility.
superset
Apache Superset is a Data Visualization and Data Exploration Platform
template
c template project
testc
Test c programming
typst
A new markup-based typesetting system that is powerful and easy to learn.
undrop
Docker image for undrop InnoDb