DEPRECATED: this repo is no longer actively maintained
☆13May 21, 2019Updated 7 years ago
Alternatives and similar repositories for personality-insights-java
Users that are interested in personality-insights-java are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Minimal, efficient proof language☆15May 28, 2019Updated 7 years ago
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 7 months ago
- Agda libraries relevant to Moonad☆15Apr 2, 2019Updated 7 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Flatbuffer database for the Hyperledger Iroha project.☆15Jun 21, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- The Verus Multi-Coin Desktop Wallet☆14Oct 5, 2022Updated 3 years ago
- Agda language support for the Atom editor☆13Sep 16, 2020Updated 5 years ago
- Contains a very basic spatial pooler implementation written in scala. Inspired by https://github.com/numenta/nupic☆13Mar 20, 2015Updated 11 years ago
- Documentation for the diagrams project☆20Mar 25, 2026Updated 4 months ago
- An example application demonstrating the use of the Imaging SDK for real-time image effects. The effects are applied to the stream receiv…☆34Apr 29, 2015Updated 11 years ago
- Personalized Recommendations helps you find the best place to go on vacations by using the Concept Insights and Tradeoff Analytics Watso…☆16Mar 4, 2016Updated 10 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- Simply typed lambda calculus in cubical agda☆23Feb 22, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A WordPress plugin for storing media in IBM Object Storage service on Bluemix☆15Nov 4, 2016Updated 9 years ago
- DEPRECATED: this repo is no longer actively maintained☆20May 21, 2019Updated 7 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Scala library for Hyperledger Iroha, a simple distributed ledger. http://iroha.tech☆28Sep 18, 2022Updated 3 years ago
- Active Directory authentication for DNN☆26Feb 25, 2026Updated 5 months ago
- Kleene algebra, regular expressions☆34May 12, 2026Updated 2 months ago
- Filter Explorer is an example application which demonstrates some of the image editing capabilities and performance of the Imaging SDK by…☆30Apr 29, 2015Updated 11 years ago
- Shell plugin for managing tmux sessions☆32Jan 25, 2026Updated 6 months ago
- Slickr: Build your own flickr portfolio☆21Dec 17, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An example application demonstrating the use of the different filters of Imaging SDK with camera photos. This example app uses the camera…☆35Apr 29, 2015Updated 11 years ago
- Speculate laws about Haskell functions☆31Jan 30, 2025Updated last year
- Higher-order, higher-order automatic differentiation☆30Jan 24, 2020Updated 6 years ago
- The NESTS application was built using Tradeoff Analytics. It allows users to search for FHA-eligible homes in the US using real-time dat…☆23Jan 7, 2016Updated 10 years ago
- ☆34Mar 2, 2023Updated 3 years ago
- This repository holds the latest versions of Factom☆30Dec 26, 2020Updated 5 years ago
- Provides a type-safe way of working with permutations in Idris☆37Oct 3, 2021Updated 4 years ago
- Smash products, Wedge products, and other Pointed stuff☆35Jun 9, 2026Updated 2 months ago
- A Peer-to-Peer Operating System☆37Mar 17, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Implementing grep in Agda☆33Jan 11, 2021Updated 5 years ago
- Haskell bindings for the Senna NLP toolkit☆44Aug 23, 2014Updated 11 years ago
- Isomorphic Reasoning: Counting with Types☆38Jun 5, 2020Updated 6 years ago
- DEPRECATED: this repo is no longer actively maintained☆27Jul 15, 2019Updated 7 years ago
- The DNN Azure Active Directory Provider is an Authentication provider for DNN Platform (formerly DotNetNuke) that uses Azure Active Direc…☆37Jul 20, 2026Updated 3 weeks ago
- Moved to https://codeberg.org/dapete/vcat☆11Jul 24, 2026Updated 2 weeks ago
- High Performance Erlang Kafka Producer☆17Nov 20, 2023Updated 2 years ago