Richard Degenne Richard-Degenne
🍻
Richard-Degenne
/ .zshrc
Created
June 26, 2020 08:37
Custom Agnoster theme for Zsh - adds a carriage return before prompt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # ... | |
| ZSH_THEME="custom-agnoster" | |
| # ... |
Richard-Degenne
/ familiy.owl
Created
June 15, 2019 11:48
https://stackoverflow.com/questions/56510244/owl-protege-combining-object-properties-with-conjunction
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| @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 . |
Richard-Degenne
/ astronomy.owl
Created
June 15, 2019 10:48
https://stackoverflow.com/questions/56567626/how-to-read-specific-range-value-of-an-object-property
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| @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 . |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| @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 . |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| @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 . |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| @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 . |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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}} |
Richard-Degenne
/ gist:76498f52de45f3a926f119a3c0c0ae7f
Created
December 30, 2016 14:20
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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/ |