Javier Sagredo's repositories
advent-of-prolog-2023
Advent of Prolog 2023
hs-safescope
An approach to time profiling that also shows safe FFI calls
advent_prolog
Solutions to advent of code 2019 in Prolog
Haskell-Palabras-PD
Little practise in word processing and list operations for Declarative Programming
Swift-Dinic
Algoritmo de Dinic para resolución del problema de máximo flujo
Swift-Fib-Heaps
Montículos de Fibonacci en Swift. Trabajo de la asignatura MARP.
cabal
Official upstream development repository for Cabal and cabal-install
doomemacs
An Emacs framework for the stubborn martian hacker
ekg
Remote monitoring of running processes over HTTP
ekg-core
Library for tracking system metrics
ekg-json
JSON encoding of ekg metrics
ghciwatch
Load a GHCi session for a Haskell project and reload it when source files change
haddock
Haskell Documentation Tool
haskell-mode
Emacs mode for Haskell
latex-svg
Render LaTeX math to SVG mages
mithril
Stake-based threshold multi-signatures protocol
quickcheck-dynamic
A library for stateful property-based testing
quickcheck-lockstep
Support for lockstep-style testing using quickcheck-dynamic
quickcheck-state-machine
Test monadic programs using state machine based models
scryer-prolog
A modern Prolog implementation written mostly in Rust.
tree-diff
Diffing of (expression) trees.
viewprof
Text-based interactive GHC .prof viewer
Youtube_Search_Related
Búsquedas en Youtube por vídeo relacionado