jasagredo Goto Github PK

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

cabal

Official upstream development repository for Cabal and cabal-install

doomemacs

An Emacs framework for the stubborn martian hacker

dotemacs

My configuration for emacs editor

ekg

Remote monitoring of running processes over HTTP

ekg-core

Library for tracking system metrics

ekg-json

JSON encoding of ekg metrics

gcom

Machine Learning and Patter Recognition algorithms

haddock

Haskell Documentation Tool

haskell-mode

Emacs mode for Haskell

haskell-palabras-pd

Little practise in word processing and list operations for Declarative Programming

hs-safescope

An approach to time profiling that also shows safe FFI calls

hume

Hungarian method solver

latex-svg

Render LaTeX math to SVG mages

quickcheck-dynamic

A library for stateful property-based testing

quickcheck-state-machine

Test monadic programs using state machine based models

rlp

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

scryer-prolog

A modern Prolog implementation written mostly in Rust.

sec

Compilador en Java para la asignatura de Procesadores del Lenguaje.

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.

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