Fsharp Logic Examples

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
Alternatives To Fsharp Logic Examples
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Pure Bash Bible35,125
4 months ago61mitShell
📖 A collection of pure bash alternatives to external processes.
Wtfjs32,812114 months ago37September 30, 202235wtfplJavaScript
🤪 A list of funny and tricky JavaScript examples
Awesome Kubernetes14,502
2 months ago7otherShell
A curated list for awesome kubernetes sources :ship::tada:
Pure Sh Bible5,992
8 months ago30mitShell
📖 A collection of pure POSIX sh alternatives to external processes.
Bash Handbook5,2833a year ago43July 28, 201718JavaScript
:book: For those who wanna learn Bash
Kubernetes Handbook5,166
3 months agootherMakefile
Kubernetes Handbook (Kubernetes指南) https://kubernetes.feisky.xyz
Front End Handbook 20194,060
8 months ago12HTML
[Book] 2019 edition of our front-end development handbook
Cphb2,611
3 months ago32TeX
Competitive Programmer's Handbook
Computer Vision In Action1,979
a year ago58otherJupyter Notebook
学习闭环《计算机视觉实战演练:算法与应用》中文电子书、源码、读者交流社区(持续更新中 ...) 📘 在线电子书 https://charmve.github.io/computer-vision-in-action/ 👇项目主页
Sdn Handbook799
3 years agootherC
SDN网络指南(SDN Handbook)
Alternatives To Fsharp Logic Examples
Select To Compare


Alternative Project Comparisons
Popular Handbook Projects
Popular Book Projects
Popular Learning Resources Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Book
Ocaml
Fsharp
Handbook