https://github.com/diffsharp/dsharp-models
https://github.com/diffsharp/dsharp-models
Last synced: 7 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/diffsharp/dsharp-models
- Owner: DiffSharp
- License: apache-2.0
- Created: 2020-10-19T22:22:15.000Z (over 5 years ago)
- Default Branch: main
- Last Pushed: 2021-03-04T18:08:39.000Z (almost 5 years ago)
- Last Synced: 2024-05-06T23:40:34.020Z (almost 2 years ago)
- Language: Jupyter Notebook
- Size: 58.2 MB
- Stars: 7
- Watchers: 6
- Forks: 4
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Trialling DiffSharp Models
A collection of models for trialling the DiffSharp API and shape checking tooling
## Playing around
A parallel checkout of dotnet/fsharp and DiffSharp/DiffSharp are currently required:
git clone https://github.com/dotnet/fsharp -b feature/analyzers
cd fsharp
.\build -pack -deploy
cd ..
git clone https://github.com/fsprojects/FSharp.Compiler.PortaCode -b feature/analyzers
cd FSharp.Compiler.PortaCode
dotnet build FSharp.Compiler.PortaCode
cd ..
git clone https://github.com/DiffSharp/DiffSharp -b feature/merged
git clone https://github.com/DiffSharp/dsharp-models
dotnet build
# You then prepare the library code and various native assets into `bin\Debug\net5.0\publish`:
dotnet publish
devenv dsharp-models.sln /RootSuffix RoslynDev