Pinned Repositories
advent-of-prolog-2023
Advent of Prolog 2023
advent_prolog
Solutions to advent of code 2019 in Prolog
ALCP
Algoritmos en Maple para Álgebra Computacional UCM
hs-safescope
An approach to time profiling that also shows safe FFI calls
Hume
Hungarian method solver
RLP
An implementation of the RLP serialization as specified in the Ethereum Yellow Paper
tvar-counter-iosim
jasagredo's Repositories
jasagredo/Hume
Hungarian method solver
jasagredo/advent-of-prolog-2023
Advent of Prolog 2023
jasagredo/RLP
An implementation of the RLP serialization as specified in the Ethereum Yellow Paper
jasagredo/ALCP
Algoritmos en Maple para Álgebra Computacional UCM
jasagredo/hs-safescope
An approach to time profiling that also shows safe FFI calls
jasagredo/tvar-counter-iosim
jasagredo/advent_prolog
Solutions to advent of code 2019 in Prolog
jasagredo/dotemacs
My configuration for emacs editor
jasagredo/GCOM
Machine Learning and Patter Recognition algorithms
jasagredo/Haskell-Palabras-PD
Little practise in word processing and list operations for Declarative Programming
jasagredo/blog.jasagredo.dev
jasagredo/cabal
Official upstream development repository for Cabal and cabal-install
jasagredo/directory
Platform-independent library for basic file system operations
jasagredo/doomemacs
An Emacs framework for the stubborn martian hacker
jasagredo/ekg
Remote monitoring of running processes over HTTP
jasagredo/ekg-core
Library for tracking system metrics
jasagredo/ekg-json
JSON encoding of ekg metrics
jasagredo/ghciwatch
Load a GHCi session for a Haskell project and reload it when source files change
jasagredo/haddock
Haskell Documentation Tool
jasagredo/haskell-mode
Emacs mode for Haskell
jasagredo/latex-svg
Render LaTeX math to SVG mages
jasagredo/mithril
Stake-based threshold multi-signatures protocol
jasagredo/quickcheck-dynamic
A library for stateful property-based testing
jasagredo/quickcheck-lockstep
Support for lockstep-style testing using quickcheck-dynamic
jasagredo/quickcheck-state-machine
Test monadic programs using state machine based models
jasagredo/scryer-prolog
A modern Prolog implementation written mostly in Rust.
jasagredo/SEC
Compilador en Java para la asignatura de Procesadores del Lenguaje.
jasagredo/testing-ghc-gha
jasagredo/tree-diff
Diffing of (expression) trees.
jasagredo/viewprof
Text-based interactive GHC .prof viewer