scryer-prolog
kanidm
Our great sponsors
| scryer-prolog | kanidm | |
|---|---|---|
| 42 | 12 | |
| 1,891 | 2,097 | |
| - | 9.1% | |
| 9.7 | 9.8 | |
| 13 days ago | 4 days ago | |
| Rust | Rust | |
| BSD 3-clause "New" or "Revised" License | Mozilla Public License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
scryer-prolog
-
The Shen Programming Language
thank you! the scryer community deserves much of the credit too. everyone is welcome and encouraged to join us at https://github.com/mthom/scryer-prolog! some exciting plans in the pipe
- Appreciating Clpz_t/2
- Advent of Code 2023 is nigh
- Scryer Prolog version 0.9.3 is out
- Announcing Basic WebAssembly support in Scryer Prolog
- Basic WebAssembly Support in Scryer Prolog
- Scryer-Prolog 0.9.2
- Release v1.1.0 of PostgreSQL-Prolog
-
Djot is a light markup syntax
Djot is the markup syntax that is used for the documentation of Scryer Prolog, using a parser written in Prolog:
https://github.com/aarroyoc/djota
It works well so far. One of the few limitations I noticed so far pertains to the formatting of tables. For instance, consider the table used in library(format) to describe control sequences:
https://github.com/mthom/scryer-prolog/blob/b0566e41503a6c8d...
It contains several entries that span multiple lines, yet are meant to denote only a single row of the table, such as:
% | `~Nr` | where N is an integer between 2 and 36: format the | - The First Annual Scryer Prolog Meetup
kanidm
-
Identity Management Solutins
Check this: https://github.com/kanidm/kanidm/ Maybe not production ready, but looks very promising
-
Simple LDAP / user management
Kanidm is a identity management platform with a ldap compatible interface, sso and more. It's still young, but the author works on the 389 ldap server at suse, so knows how to build a secure ldap alternative :)
-
Kanidm: A simple, secure and fast identity management platform
Here is the OAuth/OIDC issue: https://github.com/kanidm/kanidm/issues/278
They are talking here: https://github.com/kanidm/kanidm/pull/485 about being an IdP with support for OIDC, so once that is implemented you could probably federate to Keycloak (or any other compliant IdP).
Might be worth filing an issue, I'm sure they'd love the feedback.
-
Hacker News top posts: Oct 16, 2021
Kanidm: A simple, secure and fast identity management platform\ (22 comments)
-
Whats your favourite open source Rust project that needs more recognition?
Kanidm, it might not sound as fun or exciting but this sound engineering driven by exceptional people. Similarly, concread.
-
What's everyone working on this week (36/2021)?
saml-rs, creating a SAML IdP in rust, kind of spun out of trying to do it for Kanidm.
-
What are SUSE's biggest contributions to the Linux world?
And now they employ one of the lead 389 Directory Server developers (now the default in SUSE instead of OpenLDAP which is is still available but is going to be depreciated). The same person is also the lead developer of Kandim, a new beta IDM that looks really promising (but is likely quite some time from being ready for enterprise production).
What are some alternatives?
swipl-devel - SWI-Prolog Main development repository
volta - Volta: JS Toolchains as Code. ⚡
logica - Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
Ory Kratos - Next-gen identity server replacing your Auth0, Okta, Firebase with hardened security and PassKeys, SMS, OIDC, Social Sign In, MFA, FIDO, TOTP and OTP, WebAuthn, passwordless and much more. Golang, headless, API-first. Available as a worry-free SaaS with the fairest pricing on the market!
differential-datalog - DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
Rust-Bio - This library provides implementations of many algorithms and data structures that are useful for bioinformatics. All provided implementations are rigorously tested via continuous integration.
materialize - The data warehouse for operational workloads.
solid - Solid - Re-decentralizing the web (project directory)
tau-prolog - An open source Prolog interpreter in JavaScript
Iron - An Extensible, Concurrent Web Framework for Rust
prolog - The only reasonable scripting engine for Go.
389ds-server - Ansible role to configure 389DS