jasagredo

Hume

Hungarian method solver

advent-of-prolog-2023

Advent of Prolog 2023

RLP

An implementation of the RLP serialization as specified in the Ethereum Yellow Paper

ALCP

Algoritmos en Maple para Álgebra Computacional UCM

hs-safescope

An approach to time profiling that also shows safe FFI calls

advent_prolog

Solutions to advent of code 2019 in Prolog

dotemacs

My configuration for emacs editor

GCOM

Machine Learning and Patter Recognition algorithms

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.

SEC

Compilador en Java para la asignatura de Procesadores del Lenguaje.

testing-ghc-gha

tree-diff

Diffing of (expression) trees.

viewprof

Text-based interactive GHC .prof viewer

Youtube_Search_Related

Búsquedas en Youtube por vídeo relacionado