Giters
Theophilos Giannakopoulos (tgiannak)

tgiannak

Geek Repo

4

followers

13

following

69

stars

Home Page:https://www.abstractnonsense.org/

Github PK Tool:Github PK Tool

Theophilos Giannakopoulos's repositories

hs-open-recursive-types-examples

Haskell Open Recursive Types Examples

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

ldtk-archlinux

Arch Linux packaging for LDtk.

Language:ShellStargazers:1Issues:2Issues:0

pulseaudio-acpi-volume

Control PulseAudio volume with ACPI events

Language:ShellLicense:BSD-3-Clause-ClearStargazers:1Issues:2Issues:0

racket-zeromq

FFI to zeromq

Language:RacketLicense:NOASSERTIONStargazers:1Issues:2Issues:0

semantics-recursive-real-ppl

Coq implementation of logical relations for reasoning about a probabilistic programming language with continuous random variables and recursion.

Language:CoqLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

alsa-utils

The Advanced Linux Sound Architecture (ALSA) - utilities

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

autosubst

Automation for de Bruijn syntax and substitution in Coq

Language:CoqStargazers:0Issues:2Issues:0

bevy

A refreshingly simple data-driven game engine built in Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0

intel-brightness-control

Control brightness for systems with intel_backlight

Language:ShellLicense:BSD-3-Clause-ClearStargazers:0Issues:2Issues:1

iracket

IPython/Jupiter kernel for Racket and Gamble.

Language:Jupyter NotebookLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

cabal-plan

Library and utility for processing cabal's plan.json file

Language:HaskellLicense:GPL-2.0Stargazers:0Issues:1Issues:0

cayman

Cayman is a Jekyll theme for GitHub Pages

Language:CSSLicense:CC0-1.0Stargazers:0Issues:2Issues:0

coq-haskell

A library for formalizing Haskell types and functions in Coq

Language:CoqLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

CVC4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:0Issues:1Issues:0

docker-haskell

Language:DockerfileLicense:MITStargazers:0Issues:1Issues:0

gamble

Probabilistic Programming

Language:RacketLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

git-bug

Distributed, offline-first bug tracker embedded in git, with bridges

License:GPL-3.0Stargazers:0Issues:0Issues:0

haskell-scratch

Base Docker image which includes minimal shared libraries for GHC-compiled executables

Language:MakefileLicense:MITStargazers:0Issues:2Issues:0

hlint

Haskell source code suggestions

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

hoopl

Higher-order optimization library

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

KeyServer

Small server for turning HTTP requests into keystrokes and serving single-page apps. Useful for using a phone as a buzzer for trivia games.

Language:C#License:BSD-3-ClauseStargazers:0Issues:2Issues:0

lsp4s

Scala implementation for JSON-RPC and Language Server Protocol

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

math-comp

Mathematical Components

Language:CoqStargazers:0Issues:2Issues:0

nix-darwin

nix modules for darwin

Language:NixLicense:MITStargazers:0Issues:1Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

pipewire-acpi-volume

Control pipewire volume with ACPI events

Language:ShellLicense:BSD-3-Clause-ClearStargazers:0Issues:0Issues:0

powerline

emacs powerline

Language:Emacs LispLicense:NOASSERTIONStargazers:0Issues:1Issues:0

racket-libuuid

FFI bindings for the libuuid.

Language:RacketLicense:NOASSERTIONStargazers:0Issues:0Issues:0

RefinedRelocation2

Minecraft Mod. Adds sorting networks, filter systems, block extenders and more.

Language:JavaStargazers:0Issues:0Issues:0

swiper

Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!

Language:Emacs LispStargazers:0Issues:0Issues:0