Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Skolems

A microlibrary for Scala encodings of higher-rank quantifiers
Stars
58
License
apache-2.0
Open Issues
2
Most Recent Commit
4 years ago
Programming Language
Scala
Total Releases
5
Latest Release
April 28, 2020
Categories
Repo
Alternatives To Skolems
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Skolems58
4 years ago5April 28, 20202apache-2.0Scala
A microlibrary for Scala encodings of higher-rank quantifiers
Shellerate20
2 years ago7July 07, 20211mitPython
A shellcode generator with encryption, encoding and polymorphism facilities built-in
Alternatives To Skolems
Select To Compare


Suggest An Alternative To skolems
Alternative Project Comparisons
Skolems vs Shellerate
Popular Encoding Projects
Uppy ⭐ 27,793
The next open source file uploader for web browsers :dog:
dependent packages 187total releases 107latest release November 12, 2023most recent commit 3 months agonpm @uppy/core} Downloads
Cyberchef ⭐ 24,884
The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis
dependent packages 5total releases 396latest release July 14, 2023most recent commit a month agonpm cyberchef} Downloads
Js Cookie ⭐ 21,342
A simple, lightweight JavaScript API for handling browser cookies
dependent packages 7,233total releases 32latest release April 24, 2023most recent commit 3 months agonpm js-cookie} Downloads
Go ⭐ 12,863
A high-performance 100% compatible drop-in replacement of "encoding/json"
dependent packages 22,836total releases 16latest release September 11, 2021most recent commit 3 months ago
Popular Polymorphism Projects
Arrow ⭐ 5,884
Λrrow - Functional companion to Kotlin's Standard Library
dependent packages 80total releases 240latest release September 05, 2023most recent commit 3 months ago
Typedb ⭐ 3,623
TypeDB: the polymorphic database powered by types
dependent packages 5total releases 24latest release December 13, 2018most recent commit 3 months ago
Popular Data Formats Categories
Json
Markdown
Xml
Schema
Csv
Yaml
Latex
Encoding
Qr Code
Protocol Buffers
Related Searches
Types Scala
Types Encoding
Types Polymorphism
Scala Encoding
Scala Polymorphism
Encoding Polymorphism

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Scala
Encoding
Polymorphism
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.