SSO Discourse Application to allow SAML authentication
☆14May 11, 2024Updated last year
Alternatives and similar repositories for DiscourseSSO
Users that are interested in DiscourseSSO are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Operator Pattern, in Nomad☆16Nov 22, 2021Updated 4 years ago
- My nomad jobs☆15Jan 29, 2026Updated last month
- Material for the course on Programming Languages and Types at University of Marburg☆15Feb 6, 2012Updated 14 years ago
- ☆12Jul 8, 2019Updated 6 years ago
- Generate scala sources for sbt 0.10☆30Jul 10, 2015Updated 10 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- A pipeline for Human GWAS analysis that accomodates both Affymetrix (raw .CEL files) and Illumina (Plink binaries) data☆12May 14, 2018Updated 7 years ago
- (Actually) flexible law checking for Scala☆15Dec 22, 2016Updated 9 years ago
- Whitehouse.gov with inline fact-checking. Fight alternative facts with the real thing.☆15Feb 13, 2017Updated 9 years ago
- Light, personalized, interactive dashboards for urban data exploration.☆22Sep 23, 2022Updated 3 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last month
- A stopgap solution for the lack of notifications on gists☆11Dec 1, 2014Updated 11 years ago
- ST with efficient exceptions☆20Nov 11, 2016Updated 9 years ago
- Bash script to enable git-worktree to use relative path☆11Mar 7, 2022Updated 4 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Nov 11, 2015Updated 10 years ago
- Study dotty source code using org-mode☆10Jan 10, 2017Updated 9 years ago
- ☆21Feb 2, 2024Updated 2 years ago
- Access hint databases from tactics.☆12Apr 22, 2020Updated 5 years ago
- ☆27May 3, 2023Updated 2 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- proof script associated to tutorial material☆17Oct 29, 2023Updated 2 years ago
- Repository for installation routines of the external software required by FairRoot☆17Mar 3, 2026Updated 3 weeks ago
- ☆19Nov 24, 2025Updated 4 months ago
- A Model of Relationally Parametric System F in Coq☆22May 27, 2015Updated 10 years ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆17Jan 5, 2015Updated 11 years ago
- Terminating is exciting☆22Nov 3, 2016Updated 9 years ago
- Compress long exception traces down to short signatures☆19Mar 28, 2022Updated 3 years ago
- A thicker variant of Latin Modern Roman☆15Jun 6, 2025Updated 9 months ago
- A modernised version of Wilfredo Sánchez's old DropScript utility.☆21Dec 1, 2014Updated 11 years ago
- A Coq library providing tactics to deal with hypothesis☆23Dec 5, 2025Updated 3 months ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Jun 25, 2022Updated 3 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Jan 23, 2020Updated 6 years ago
- Remake of the classic arcade game Donkey Kong (1981)☆12Oct 14, 2021Updated 4 years ago
- ☆33Mar 19, 2015Updated 11 years ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Feb 7, 2024Updated 2 years ago
- Semantic Version Control mk II.☆37Apr 4, 2020Updated 5 years ago
- Deadlock freedom by type checking☆20Jun 2, 2023Updated 2 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Sep 6, 2017Updated 8 years ago
- Analysis of JOSS data and statistics☆13Mar 11, 2026Updated 2 weeks ago