Lists (1)
Stars
Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.
A fast, clean, responsive Hugo theme.
A collection of tools for writing technical documents that mix Coq code and prose.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Apache Jena, A free and open source Java framework for building Semantic Web and Linked Data applications.
A basic implementation of the RDF/JS Data Model
Software platform implementing and extending the standards of the Semantic Web.
A library for skolemising (or canonicalising) blank node labels in RDF graphs.
Graph Theory [maintainers=@chdoc,@damien-pous]
♞ lichess.org: the forever free, adless and open source chess server ♞
A web interface for Linked Data courses, tailored for CC7220 "La Web de Datos" course at Universidad de Chile
lean & mean status/tabline for vim that's light as air
Design patterns implemented in Java
A curated list of high quality coding style conventions and standards.
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Reformats Java source code to comply with Google Java Style.
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly co…
Head First Design Patterns in Java
Logos de la Facultad de Ciencias Físicas y Matemáticas (FCFM) de la Universidad de Chile
Extensión de chrome para bloquear novedades no deseadas en u-cursos
My notes for my self teaching processes.