franciman Goto Github PK

advent_of_code_2022

Advent of Code in Prolog

ante-litteram

appunti

Alcuni appunti, sono inutili, però mi servono per studiare. Quindi li metto qui per non perderli

brainhask

Brainfuck interpreter written in Haskell

config

dotfiles

configurations

My Config files

denunzia

A denunzia is coming from somewhere, better watch out

description_logics

Experimenting with description logics

ellipse

Sketching as a programming language

ezsubs

Bringing your Italian Subs subtitles to a whole new level, capiamoci, qui si fa la pag 777 del televideo. Also known as SubsWay, according to Quasark

fantacalcio

focuozz.kak

Focusing based on buffer names

form

franciman.github.io

gen_lexer

Lexers and maybe Parsers one day

isubit

Are you gonna buy it, Apple? TODO: Find a better name

jam0002

json-editor

JSON Schema Based Editor

languages

Programming Language Experiments

literate-haskell-kak

Literate Haskell highlighter for kakoune

napoleon

Re-designed Chess engine and converted in C++

natural-scheme

Natural Deduction in scheme

pidgeon-typing

If it delivers messages like a pidgeon, it must be an imap server

plasm

plot your functions with rust and wasm - https://frankplus.github.io/plasm/

reecord

Ricorda by Recording

servant-openapi3

OpenAPI 3.0 for Servant

servant-to-elm

Generate Elm client libraries from Servant API definitions.

snake

Snake! Snake! Snake!

splitsubs

Single Page Application to help splitting subtitles among translators

sway-focus.kak

Implement :focus for sway