Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by filipeom
A curated list of projects in awesome lists by filipeom .
https://github.com/filipeom/home
Academic pages static blog powered by YOcaml
Last synced: 07 Nov 2024
https://github.com/filipeom/sys-util
System helpers that I write to many times
Last synced: 07 Nov 2024
https://github.com/filipeom/adventure-builder
Adventure Builder for Software Engineering
devops java software-engineering
Last synced: 07 Nov 2024
https://github.com/filipeom/ocaml-xlib
OCaml bindings for the Xlib library.
Last synced: 07 Nov 2024
https://github.com/filipeom/csp
Cryptography and Security Protocols project
Last synced: 07 Nov 2024
https://github.com/filipeom/whilevis
Operational Semantics Visualizer for the While Language implemented in Haskell
Last synced: 07 Nov 2024
https://github.com/filipeom/rc-cloud-backup
Networking - Could Backup System.
Last synced: 07 Nov 2024
https://github.com/filipeom/iart-proj2
Bayesian Networks and Reinforcement Learning
Last synced: 07 Nov 2024
https://github.com/filipeom/forkexec
ForkExec App for Distributed Systems
distributed-systems java webservices
Last synced: 07 Nov 2024
https://github.com/filipeom/asa-scc-finder
Find strongly connected componets in a graph.
Last synced: 07 Nov 2024
https://github.com/filipeom/asa-image-segmentation
Segments image pixels in foreground and background.
Last synced: 07 Nov 2024
https://github.com/filipeom/wasm-se-bench
Benchmarking Symbolic Execution tools for Wasm
ocaml python symbolic-execution wasm
Last synced: 12 Oct 2024