Skip to content

Instantly share code, notes, and snippets.

View Richard-Degenne's full-sized avatar
🍻
Thirsty!

Richard Degenne Richard-Degenne

🍻
Thirsty!
View GitHub Profile
@Richard-Degenne
Richard-Degenne / .zshrc
Created June 26, 2020 08:37
Custom Agnoster theme for Zsh - adds a carriage return before prompt
# ...
ZSH_THEME="custom-agnoster"
# ...
@prefix : <http://www.richarddegenne.com/ontology/family#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.richarddegenne.com/ontology/family> .
<http://www.richarddegenne.com/ontology/family> rdf:type owl:Ontology .
@prefix : <http://www.richarddegenne.com/ontology/astronomy#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.richarddegenne.com/ontology/astronomy> .
<http://www.richarddegenne.com/ontology/astronomy> rdf:type owl:Ontology .
@Richard-Degenne
Richard-Degenne / foods.owl
Created August 6, 2018 12:48
StacOverflow answer
@prefix : <http://www.example.com#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.example.com> .
<http://www.example.com> rdf:type owl:Ontology .
@Richard-Degenne
Richard-Degenne / ontology.ttl
Created July 27, 2018 15:26
StackOverflow answer
@prefix : <http://www.example.com#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.example.com> .
<http://www.example.com> rdf:type owl:Ontology .
@Richard-Degenne
Richard-Degenne / ontology.ttl
Created July 12, 2018 12:27
StackOverflow answer
@prefix : <http://www.example.org#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.example.org> .
<http://www.example.org> rdf:type owl:Ontology .
@Richard-Degenne
Richard-Degenne / the_game.ml
Created July 3, 2017 15:32
OCaml functional update example
type coordinates = {x: int; y: int} (* Define a record type for coordinates *)
type player = {name: string; coordinates: coordinates} (* Define a record type for players *)
let richou = {name = "Richou"; coordinates = {x=0; y=0}} (* Define a new player *)
(* This is called a functional update.
* It creates a new record "based on" an existing record.
*)
let richou2 = {richou with coordinates = {x=1; y=1}}
richou@PC-RICHOU:~$ git clone https://github.com/dmitriz/mithril.js.git
Cloning into 'mithril.js'...
remote: Counting objects: 12237, done.
remote: Total 12237 (delta 0), reused 0 (delta 0), pack-reused 12237
Receiving objects: 100% (12237/12237), 6.21 MiB | 1.82 MiB/s, done.
Resolving deltas: 100% (8565/8565), done.
Checking connectivity... done.
richou@PC-RICHOU:~$ cd mithril.js/