Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by meditans
A curated list of projects in awesome lists by meditans .
https://github.com/meditans/reif
Ulrich Newmerkel's library for reified if, as a prolog pack
Last synced: 24 Jan 2025
https://github.com/meditans/logicexperiments
Proof of concept prover for a restricted sequent calculus
Last synced: 24 Jan 2025
https://github.com/meditans/unification-sop
Haskell package that implements typed terms with logical variables in a prolog-style
generic-programming haskell logic-programming prolog
Last synced: 24 Jan 2025
https://github.com/meditans/type_check
Copy of Tom Schrijvers' prolog library v 1.0.1, to make some improvements
Last synced: 24 Jan 2025
https://github.com/meditans/preprocessor
Remove cpp annotations, to get the source ready for static analysis with a parsing library.
Last synced: 24 Jan 2025
https://github.com/meditans/imagesplit
Cut horizontal stripes from book scans and use them in spaced repetition software
Last synced: 24 Jan 2025
https://github.com/meditans/dotfiles
Configuration files for my environments
Last synced: 24 Jan 2025
https://github.com/meditans/hasochismstudy
Implementation of the hasochism paper
Last synced: 24 Jan 2025
https://github.com/meditans/co-de-bruijn
agda de-bruijn-notation lambda-calculus
Last synced: 24 Jan 2025
https://github.com/meditans/documentator
Exploration of the design space for "(semi)automatic documentation" in haskell.
Last synced: 24 Jan 2025
https://github.com/meditans/packaging-vllm
Trying to build vllm via poetry2nix
Last synced: 24 Jan 2025
https://github.com/meditans/lambdaeval
An interactive evaluator for lambda-calculus based on Oleg's work
Last synced: 24 Jan 2025
https://github.com/meditans/hneat
WIP framework for the NeuroEvolution of Augmenting Topologies
Last synced: 24 Jan 2025
https://github.com/meditans/ntrig
Links aimed to solve the N-trig duosense eraser button problem on my laptop.
Last synced: 24 Jan 2025
https://github.com/meditans/election-diagram
Tool for visualizing assigned seats to representatives.
Last synced: 24 Jan 2025
https://github.com/meditans/doom-emacs-config
my configuration for doom emacs
Last synced: 24 Jan 2025
https://github.com/meditans/ipotenusa
Codice di discussione per un esercizio di ottimizzazione su #haskell.it
Last synced: 24 Jan 2025
https://github.com/meditans/musicrecord
Experimentation on a new design for the music-suite library
Last synced: 24 Jan 2025
https://github.com/meditans/nix-packaging
Local repository for my nix-packaged haskell things.
Last synced: 24 Jan 2025
https://github.com/meditans/settings
nixOS system configuration and dot files
Last synced: 24 Jan 2025
https://github.com/meditans/autodocset
Generate docsets from selected libraries, to use with dash/zeal/helm-dash
Last synced: 24 Jan 2025
https://github.com/meditans/hackage-reflex-overlay
A nix overlay to use reflex and reflex-dom directly from hackage, with cabal
Last synced: 24 Jan 2025
https://github.com/meditans/organizationwiki
A repo for storing stuff and using the wiki primarily
Last synced: 24 Jan 2025
https://github.com/meditans/dcg_tools
Battery included bidirectional prolog dcg parsing
Last synced: 24 Jan 2025
https://github.com/meditans/music-commentary
A documentated study of music-suite libraries
Last synced: 24 Jan 2025
https://github.com/meditans/hs-polymap
polydirectional maps for Haskell - now with partially overlappable edges
Last synced: 24 Jan 2025