Pinned Repositories
adt
experiments with abstract data types
AntaniXml
xml random generator
AvroTypeProvider
BookCollection
Editing a list of book details stored in server memory
DefinitelyTyped
The repository for high quality TypeScript type definitions.
external-merge-sort
eye-shacl
A SHACL implementation using the EYE reasoner
iride
rdf2dot
A simple RDF visualization tool based on GraphViz
tla-intro
A gentle intro to TLA+
giacomociti's Repositories
giacomociti/iride
giacomociti/AntaniXml
xml random generator
giacomociti/external-merge-sort
giacomociti/eye-shacl
A SHACL implementation using the EYE reasoner
giacomociti/rdf2dot
A simple RDF visualization tool based on GraphViz
giacomociti/tla-intro
A gentle intro to TLA+
giacomociti/adt
experiments with abstract data types
giacomociti/AvroTypeProvider
giacomociti/BookCollection
Editing a list of book details stored in server memory
giacomociti/DefinitelyTyped
The repository for high quality TypeScript type definitions.
giacomociti/dotnetrdf
dotNetRDF is a powerful and flexible API for working with RDF and SPARQL in .Net environments
giacomociti/eye-js
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
giacomociti/FsCheck
Random Testing for .NET
giacomociti/fsfoundation
The F# Software Foundation website
giacomociti/FSharp.Data
F# Data: Library for Data Access
giacomociti/FSharp.Formatting
F# tools for generating documentation (Markdown processor and F# code formatter)
giacomociti/FSharp.TypeProviders.SDK
The SDK for creating F# type providers
giacomociti/functional-structures-refactoring-kata
Starting code and proposed solution for Functional Structures Refactoring Kata
giacomociti/giacomociti.github.io
blog
giacomociti/lib-rdfs
An rdfs component library
giacomociti/Numsense
A .NET library for parsing natural-language numerals ("forty-two") to integers, and converting the other way as well
giacomociti/ploeh.github.com
ploeh blog 'source code'
giacomociti/ProjectScaffold
A prototypical .NET solution (file system layout and tooling), recommended by the F# Foundation.
giacomociti/rdf-playground
giacomociti/serilog-sinks-mongodb
A sink for Serilog that writes events to MongoDB
giacomociti/shape-to-query
Generate SPARQL queries from SHACL Shapes
giacomociti/sparql-query-file
yasgui to query local rdf files
giacomociti/talks
giacomociti/talos
CLI to manage a set of RDF resources as files
giacomociti/xrm-csvw-playground