René's URL Explorer Experiment

Title: polyml · GitHub Topics · GitHub

Open Graph Title: Build software better, together

X Title: GitHub

Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Open Graph Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

X Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Opengraph URL: https://github.com

X: github

direct link

Domain: github.com

route-pattern	/topics/:topic_name(.:format)
route-controller	topics
route-action	show
fetch-nonce	v2:8a7307bc-e9bf-be04-3d70-bfb320ca0173
current-catalog-service-hash	78339b992060a6a11548e4f18438b88c3ea1eec1b6705962d1fd145365fa2db1
request-id	97A8:249857:8B481:BDFDF:6A4C1214
html-safe-nonce	67d4d498982df207e9d4614e14c960679130fc653ed4ce042e9b801740c32870
visitor-payload	eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI5N0E4OjI0OTg1Nzo4QjQ4MTpCREZERjo2QTRDMTIxNCIsInZpc2l0b3JfaWQiOiI0NTg2NDIwODY2NTAyMTAzNTcyIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac	502d79c5ddb20b1475ab60e93282967b9d17dfca4b597ba6b4ab3a582a0ce816
github-keyboard-shortcuts	copilot
google-site-verification	Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-url	https://collector.github.com/github/collect
fb:app_id	1401488693436528
apple-itunes-app	app-id=1477376905, app-argument=https://github.com/topics/polyml
og:site_name	GitHub
og:image	https://github.githubassets.com/assets/github-octocat-13c86b8b336d.png
og:image:type	image/png
og:image:width	1200
og:image:height	620
twitter:site:id	13334762
twitter:creator	github
twitter:creator:id	13334762
twitter:card	summary_large_image
twitter:image	https://github.githubassets.com/assets/github-logo-55c5b9a1fe52.png
twitter:image:width	1200
twitter:image:height	1200
hostname	github.com
expected-hostname	github.com
None	0ccfc9e5281bfe12e38a4d632dc422843e4d5b6757917f7efda2f6567d72fea9
turbo-cache-control	no-preview
turbo-body-classes	logged-out env-production page-responsive
disable-turbo	false
browser-stats-url	https://api.github.com/_private/browser/stats
browser-errors-url	https://api.github.com/_private/browser/errors
release	18812876666a23a0912556e224383baa4c84cf8e
ui-target	full
theme-color	#1e2327
color-scheme	light dark

Links:

Skip to content	https://github.com/topics/polyml#start-of-content
	https://github.com/
Sign in	https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fpolyml
GitHub CopilotWrite better code with AI	https://github.com/features/copilot
GitHub Copilot appDirect agents from issue to merge	https://github.com/features/ai/github-app
MCP RegistryNewIntegrate external tools	https://github.com/mcp
ActionsAutomate any workflow	https://github.com/features/actions
CodespacesInstant dev environments	https://github.com/features/codespaces
IssuesPlan and track work	https://github.com/features/issues
Code ReviewManage code changes	https://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilities	https://github.com/security/advanced-security
Code securitySecure your code as you build	https://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they start	https://github.com/security/advanced-security/secret-protection
Why GitHub	https://github.com/why-github
Documentation	https://docs.github.com
Blog	https://github.blog
Changelog	https://github.blog/changelog
Marketplace	https://github.com/marketplace
View all features	https://github.com/features
Enterprises	https://github.com/enterprise
Small and medium teams	https://github.com/team
Startups	https://github.com/enterprise/startups
Nonprofits	https://github.com/solutions/industry/nonprofits
App Modernization	https://github.com/solutions/use-case/app-modernization
DevSecOps	https://github.com/solutions/use-case/devsecops
DevOps	https://github.com/solutions/use-case/devops
CI/CD	https://github.com/solutions/use-case/ci-cd
View all use cases	https://github.com/solutions/use-case
Healthcare	https://github.com/solutions/industry/healthcare
Financial services	https://github.com/solutions/industry/financial-services
Manufacturing	https://github.com/solutions/industry/manufacturing
Government	https://github.com/solutions/industry/government
View all industries	https://github.com/solutions/industry
View all solutions	https://github.com/solutions
AI	https://github.com/resources/articles?topic=ai
Software Development	https://github.com/resources/articles?topic=software-development
DevOps	https://github.com/resources/articles?topic=devops
Security	https://github.com/resources/articles?topic=security
View all topics	https://github.com/resources/articles
Customer stories	https://github.com/customer-stories
Events & webinars	https://github.com/resources/events
Ebooks & reports	https://github.com/resources/whitepapers
Business insights	https://github.com/solutions/executive-insights
GitHub Skills	https://skills.github.com
Documentation	https://docs.github.com
Customer support	https://support.github.com
Community forum	https://github.com/orgs/community/discussions
Trust center	https://github.com/trust-center
Partners	https://github.com/partners
View all resources	https://github.com/resources
GitHub SponsorsFund open source developers	https://github.com/sponsors
Security Lab	https://securitylab.github.com
Maintainer Community	https://maintainers.github.com
Accelerator	https://github.com/accelerator
GitHub Stars	https://stars.github.com
Archive Program	https://archiveprogram.github.com
Topics	https://github.com/topics
Trending	https://github.com/trending
Collections	https://github.com/collections
Enterprise platformAI-powered developer platform	https://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security features	https://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI features	https://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 support	https://github.com/premium-support
Pricing	https://github.com/pricing
Search syntax tips	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentation	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in	https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fpolyml
Sign up	https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2Ftopics%2Fpolyml&source=header
Reload	https://github.com/topics/polyml
Reload	https://github.com/topics/polyml
Reload	https://github.com/topics/polyml
Explore	https://github.com/explore
Topics	https://github.com/topics
Trending	https://github.com/trending
Collections	https://github.com/collections
Events	https://github.com/events
GitHub Sponsors	https://github.com/sponsors/explore
Star	https://github.com/login?return_to=%2Ftopic.polyml
All 365	https://github.com/topics/polyml
Standard ML 362	https://github.com/topics/polyml?l=standard+ml
C 1	https://github.com/topics/polyml?l=c
Python 1	https://github.com/topics/polyml?l=python
Most stars	https://github.com/topics/polyml?o=desc&s=stars
Fewest stars	https://github.com/topics/polyml?o=asc&s=stars
Most forks	https://github.com/topics/polyml?o=desc&s=forks
Fewest forks	https://github.com/topics/polyml?o=asc&s=forks
Recently updated	https://github.com/topics/polyml?o=desc&s=updated
Least recently updated	https://github.com/topics/polyml?o=asc&s=updated
Pater999	https://github.com/Pater999
UNITN-linguaggi-programmazione-SML	https://github.com/Pater999/UNITN-linguaggi-programmazione-SML
Star 41	https://github.com/login?return_to=%2FPater999%2FUNITN-linguaggi-programmazione-SML
Code	https://github.com/Pater999/UNITN-linguaggi-programmazione-SML
Issues	https://github.com/Pater999/UNITN-linguaggi-programmazione-SML/issues
Pull requests	https://github.com/Pater999/UNITN-linguaggi-programmazione-SML/pulls
programming-language	https://github.com/topics/programming-language
functional-programming	https://github.com/topics/functional-programming
sml	https://github.com/topics/sml
exam	https://github.com/topics/exam
exercises	https://github.com/topics/exercises
unitn	https://github.com/topics/unitn
polyml	https://github.com/topics/polyml
programmazione-funzionale	https://github.com/topics/programmazione-funzionale
exam-practice	https://github.com/topics/exam-practice
sjqtentacles	https://github.com/sjqtentacles
awesome-standard-ml	https://github.com/sjqtentacles/awesome-standard-ml
Sponsor	https://github.com/sponsors/sjqtentacles
Star 5	https://github.com/login?return_to=%2Fsjqtentacles%2Fawesome-standard-ml
Code	https://github.com/sjqtentacles/awesome-standard-ml
Issues	https://github.com/sjqtentacles/awesome-standard-ml/issues
Pull requests	https://github.com/sjqtentacles/awesome-standard-ml/pulls
awesome	https://github.com/topics/awesome
sml	https://github.com/topics/sml
awesome-list	https://github.com/topics/awesome-list
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
polyml	https://github.com/topics/polyml
spamegg1	https://github.com/spamegg1
unix-sml	https://github.com/spamegg1/unix-sml
Star 3	https://github.com/login?return_to=%2Fspamegg1%2Funix-sml
Code	https://github.com/spamegg1/unix-sml
Issues	https://github.com/spamegg1/unix-sml/issues
Pull requests	https://github.com/spamegg1/unix-sml/pulls
Discussions	https://github.com/spamegg1/unix-sml/discussions
linux	https://github.com/topics/linux
unix	https://github.com/topics/unix
debian	https://github.com/topics/debian
ubuntu	https://github.com/topics/ubuntu
archlinux	https://github.com/topics/archlinux
fedora	https://github.com/topics/fedora
ml	https://github.com/topics/ml
sml	https://github.com/topics/sml
standard-ml	https://github.com/topics/standard-ml
system-programming	https://github.com/topics/system-programming
mlton	https://github.com/topics/mlton
mlkit	https://github.com/topics/mlkit
polyml	https://github.com/topics/polyml
smlnj	https://github.com/topics/smlnj
sml-nj	https://github.com/topics/sml-nj
mosml	https://github.com/topics/mosml
moscow-ml	https://github.com/topics/moscow-ml
smlsharp	https://github.com/topics/smlsharp
alice-ml	https://github.com/topics/alice-ml
sjqtentacles	https://github.com/sjqtentacles
sml-combinatorics	https://github.com/sjqtentacles/sml-combinatorics
Sponsor	https://github.com/sponsors/sjqtentacles
Star 1	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-combinatorics
Code	https://github.com/sjqtentacles/sml-combinatorics
Issues	https://github.com/sjqtentacles/sml-combinatorics/issues
Pull requests	https://github.com/sjqtentacles/sml-combinatorics/pulls
library	https://github.com/topics/library
pure	https://github.com/topics/pure
sml	https://github.com/topics/sml
enumeration	https://github.com/topics/enumeration
counting	https://github.com/topics/counting
combinatorics	https://github.com/topics/combinatorics
permutations	https://github.com/topics/permutations
combinations	https://github.com/topics/combinations
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
deterministic	https://github.com/topics/deterministic
polyml	https://github.com/topics/polyml
sjqtentacles-web	https://github.com/topics/sjqtentacles-web
intinf	https://github.com/topics/intinf
sjqtentacles	https://github.com/sjqtentacles
sml-log	https://github.com/sjqtentacles/sml-log
Sponsor	https://github.com/sponsors/sjqtentacles
Star 1	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-log
Code	https://github.com/sjqtentacles/sml-log
Issues	https://github.com/sjqtentacles/sml-log/issues
Pull requests	https://github.com/sjqtentacles/sml-log/pulls
logging	https://github.com/topics/logging
pure	https://github.com/topics/pure
sml	https://github.com/topics/sml
structured-logging	https://github.com/topics/structured-logging
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
deterministic	https://github.com/topics/deterministic
polyml	https://github.com/topics/polyml
sjqtentacles-web	https://github.com/topics/sjqtentacles-web
EkRafz	https://github.com/EkRafz
Appunti-Programmazione-Funzionale	https://github.com/EkRafz/Appunti-Programmazione-Funzionale
Star 1	https://github.com/login?return_to=%2FEkRafz%2FAppunti-Programmazione-Funzionale
Code	https://github.com/EkRafz/Appunti-Programmazione-Funzionale
Issues	https://github.com/EkRafz/Appunti-Programmazione-Funzionale/issues
Pull requests	https://github.com/EkRafz/Appunti-Programmazione-Funzionale/pulls
sml	https://github.com/topics/sml
polyml	https://github.com/topics/polyml
programmazione-funzionale	https://github.com/topics/programmazione-funzionale
sjqtentacles	https://github.com/sjqtentacles
sml-web	https://github.com/sjqtentacles/sml-web
Sponsor	https://github.com/sponsors/sjqtentacles
Star 1	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-web
Code	https://github.com/sjqtentacles/sml-web
Issues	https://github.com/sjqtentacles/sml-web/issues
Pull requests	https://github.com/sjqtentacles/sml-web/pulls
http	https://github.com/topics/http
framework	https://github.com/topics/framework
web	https://github.com/topics/web
pure	https://github.com/topics/pure
web-framework	https://github.com/topics/web-framework
sml	https://github.com/topics/sml
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
deterministic	https://github.com/topics/deterministic
polyml	https://github.com/topics/polyml
sjqtentacles-web	https://github.com/topics/sjqtentacles-web
sjqtentacles	https://github.com/sjqtentacles
sml-pca	https://github.com/sjqtentacles/sml-pca
Sponsor	https://github.com/sponsors/sjqtentacles
Star 0	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-pca
Code	https://github.com/sjqtentacles/sml-pca
Issues	https://github.com/sjqtentacles/sml-pca/issues
Pull requests	https://github.com/sjqtentacles/sml-pca/pulls
machine-learning	https://github.com/topics/machine-learning
library	https://github.com/topics/library
eigen	https://github.com/topics/eigen
pure	https://github.com/topics/pure
sml	https://github.com/topics/sml
pca	https://github.com/topics/pca
dimensionality-reduction	https://github.com/topics/dimensionality-reduction
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
jacobi	https://github.com/topics/jacobi
deterministic	https://github.com/topics/deterministic
polyml	https://github.com/topics/polyml
sjqtentacles-web	https://github.com/topics/sjqtentacles-web
sjqtentacles	https://github.com/sjqtentacles
sml-msgpack	https://github.com/sjqtentacles/sml-msgpack
Sponsor	https://github.com/sponsors/sjqtentacles
Star 0	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-msgpack
Code	https://github.com/sjqtentacles/sml-msgpack
Issues	https://github.com/sjqtentacles/sml-msgpack/issues
Pull requests	https://github.com/sjqtentacles/sml-msgpack/pulls
serialization	https://github.com/topics/serialization
sml	https://github.com/topics/sml
msgpack	https://github.com/topics/msgpack
codec	https://github.com/topics/codec
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
polyml	https://github.com/topics/polyml
sjqtentacles	https://github.com/sjqtentacles
sml-merkle	https://github.com/sjqtentacles/sml-merkle
Sponsor	https://github.com/sponsors/sjqtentacles
Star 0	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-merkle
Code	https://github.com/sjqtentacles/sml-merkle
Issues	https://github.com/sjqtentacles/sml-merkle/issues
Pull requests	https://github.com/sjqtentacles/sml-merkle/pulls
cryptography	https://github.com/topics/cryptography
blockchain	https://github.com/topics/blockchain
sml	https://github.com/topics/sml
standard-ml	https://github.com/topics/standard-ml
merkle-tree	https://github.com/topics/merkle-tree
mlton	https://github.com/topics/mlton
polyml	https://github.com/topics/polyml
sjqtentacles	https://github.com/sjqtentacles
sml-pkg	https://github.com/sjqtentacles/sml-pkg
Sponsor	https://github.com/sponsors/sjqtentacles
Star 0	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-pkg
Code	https://github.com/sjqtentacles/sml-pkg
Issues	https://github.com/sjqtentacles/sml-pkg/issues
Pull requests	https://github.com/sjqtentacles/sml-pkg/pulls
package-manager	https://github.com/topics/package-manager
sml	https://github.com/topics/sml
build-tool	https://github.com/topics/build-tool
standard-ml	https://github.com/topics/standard-ml
mlb	https://github.com/topics/mlb
mlton	https://github.com/topics/mlton
dependency-resolution	https://github.com/topics/dependency-resolution
polyml	https://github.com/topics/polyml
sjqtentacles	https://github.com/sjqtentacles
sml-stringalgo	https://github.com/sjqtentacles/sml-stringalgo
Sponsor	https://github.com/sponsors/sjqtentacles
Star 0	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-stringalgo
Code	https://github.com/sjqtentacles/sml-stringalgo
Issues	https://github.com/sjqtentacles/sml-stringalgo/issues
Pull requests	https://github.com/sjqtentacles/sml-stringalgo/pulls
algorithms	https://github.com/topics/algorithms
sml	https://github.com/topics/sml
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
aho-corasick	https://github.com/topics/aho-corasick
string-matching	https://github.com/topics/string-matching
polyml	https://github.com/topics/polyml
knuth-morris-pratt	https://github.com/topics/knuth-morris-pratt
sjqtentacles	https://github.com/sjqtentacles
sml-bm25	https://github.com/sjqtentacles/sml-bm25
Sponsor	https://github.com/sponsors/sjqtentacles
Star 0	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-bm25
Code	https://github.com/sjqtentacles/sml-bm25
Issues	https://github.com/sjqtentacles/sml-bm25/issues
Pull requests	https://github.com/sjqtentacles/sml-bm25/pulls
search	https://github.com/topics/search
information-retrieval	https://github.com/topics/information-retrieval
library	https://github.com/topics/library
pure	https://github.com/topics/pure
sml	https://github.com/topics/sml
ranking	https://github.com/topics/ranking
tf-idf	https://github.com/topics/tf-idf
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
deterministic	https://github.com/topics/deterministic
bm25	https://github.com/topics/bm25
polyml	https://github.com/topics/polyml
sjqtentacles-web	https://github.com/topics/sjqtentacles-web
sjqtentacles	https://github.com/sjqtentacles
sml-oauth	https://github.com/sjqtentacles/sml-oauth
Sponsor	https://github.com/sponsors/sjqtentacles
Star 0	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-oauth
Code	https://github.com/sjqtentacles/sml-oauth
Issues	https://github.com/sjqtentacles/sml-oauth/issues
Pull requests	https://github.com/sjqtentacles/sml-oauth/pulls
oauth	https://github.com/topics/oauth
oauth2	https://github.com/topics/oauth2
authentication	https://github.com/topics/authentication
pure	https://github.com/topics/pure
sml	https://github.com/topics/sml
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
pkce	https://github.com/topics/pkce
polyml	https://github.com/topics/polyml
rfc6749	https://github.com/topics/rfc6749
rfc7636	https://github.com/topics/rfc7636
sjqtentacles	https://github.com/sjqtentacles
sml-tls	https://github.com/sjqtentacles/sml-tls
Sponsor	https://github.com/sponsors/sjqtentacles
Star 0	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-tls
Code	https://github.com/sjqtentacles/sml-tls
Issues	https://github.com/sjqtentacles/sml-tls/issues
Pull requests	https://github.com/sjqtentacles/sml-tls/pulls
tls	https://github.com/topics/tls
cryptography	https://github.com/topics/cryptography
experimental	https://github.com/topics/experimental
pure	https://github.com/topics/pure
sml	https://github.com/topics/sml
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
sans-io	https://github.com/topics/sans-io
polyml	https://github.com/topics/polyml
tls13	https://github.com/topics/tls13
rfc8446	https://github.com/topics/rfc8446
sjqtentacles	https://github.com/sjqtentacles
sml-colorsci	https://github.com/sjqtentacles/sml-colorsci
Sponsor	https://github.com/sponsors/sjqtentacles
Star 0	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-colorsci
Code	https://github.com/sjqtentacles/sml-colorsci
Issues	https://github.com/sjqtentacles/sml-colorsci/issues
Pull requests	https://github.com/sjqtentacles/sml-colorsci/pulls
sml	https://github.com/topics/sml
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
color-temperature	https://github.com/topics/color-temperature
cielab	https://github.com/topics/cielab
color-science	https://github.com/topics/color-science
cie	https://github.com/topics/cie
polyml	https://github.com/topics/polyml
sjqtentacles	https://github.com/sjqtentacles
sml-constants	https://github.com/sjqtentacles/sml-constants
Sponsor	https://github.com/sponsors/sjqtentacles
Star 0	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-constants
Code	https://github.com/sjqtentacles/sml-constants
Issues	https://github.com/sjqtentacles/sml-constants/issues
Pull requests	https://github.com/sjqtentacles/sml-constants/pulls
constants	https://github.com/topics/constants
physics	https://github.com/topics/physics
sml	https://github.com/topics/sml
units	https://github.com/topics/units
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
polyml	https://github.com/topics/polyml
codata	https://github.com/topics/codata
sjqtentacles	https://github.com/sjqtentacles
sml-vdom	https://github.com/sjqtentacles/sml-vdom
Sponsor	https://github.com/sponsors/sjqtentacles
Star 0	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-vdom
Code	https://github.com/sjqtentacles/sml-vdom
Issues	https://github.com/sjqtentacles/sml-vdom/issues
Pull requests	https://github.com/sjqtentacles/sml-vdom/pulls
html	https://github.com/topics/html
virtual-dom	https://github.com/topics/virtual-dom
diff	https://github.com/topics/diff
library	https://github.com/topics/library
pure	https://github.com/topics/pure
sml	https://github.com/topics/sml
vdom	https://github.com/topics/vdom
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
deterministic	https://github.com/topics/deterministic
polyml	https://github.com/topics/polyml
sjqtentacles-web	https://github.com/topics/sjqtentacles-web
sjqtentacles	https://github.com/sjqtentacles
sml-fol	https://github.com/sjqtentacles/sml-fol
Sponsor	https://github.com/sponsors/sjqtentacles
Star 0	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-fol
Code	https://github.com/sjqtentacles/sml-fol
Issues	https://github.com/sjqtentacles/sml-fol/issues
Pull requests	https://github.com/sjqtentacles/sml-fol/pulls
resolution	https://github.com/topics/resolution
first-order-logic	https://github.com/topics/first-order-logic
sml	https://github.com/topics/sml
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
theorem-prover	https://github.com/topics/theorem-prover
polyml	https://github.com/topics/polyml
tableaux	https://github.com/topics/tableaux
sjqtentacles	https://github.com/sjqtentacles
sml-gp	https://github.com/sjqtentacles/sml-gp
Sponsor	https://github.com/sponsors/sjqtentacles
Star 0	https://github.com/login?return_to=%2Fsjqtentacles%2Fsml-gp
Code	https://github.com/sjqtentacles/sml-gp
Issues	https://github.com/sjqtentacles/sml-gp/issues
Pull requests	https://github.com/sjqtentacles/sml-gp/pulls
machine-learning	https://github.com/topics/machine-learning
functional-programming	https://github.com/topics/functional-programming
regression	https://github.com/topics/regression
sml	https://github.com/topics/sml
kernel-methods	https://github.com/topics/kernel-methods
standard-ml	https://github.com/topics/standard-ml
mlton	https://github.com/topics/mlton
polyml	https://github.com/topics/polyml
gaussian-process	https://github.com/topics/gaussian-process
smlpkg	https://github.com/topics/smlpkg
Curate this topic	https://github.com/github/explore/tree/master/CONTRIBUTING.md?source=add-description-polyml
Learn more	https://docs.github.com/en/articles/classifying-your-repository-with-topics
	https://github.com
Terms	https://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacy	https://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Security	https://github.com/security
Status	https://www.githubstatus.com/
Community	https://github.community/
Docs	https://docs.github.com/
Contact	https://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.