danielvegamyhre / semantic-vizLinks
An application to visualize the semantic distance between two words using the Wordnet lexical database and algorithmic path finding.
☆11Updated 4 years ago
Alternatives and similar repositories for semantic-viz
Users that are interested in semantic-viz are comparing it to the libraries listed below
Sorting:
- Zippers for cofree types☆13Updated 4 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 3 months ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 4 months ago
- Funny little Haskell impl☆18Updated 5 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 5 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated last week
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 5 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Updated 6 years ago
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- A flexible Haskell API for querying the GitHub REST API☆14Updated this week
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Updated 3 weeks ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- ☆16Updated 10 months ago
- 🌋 Idris implementation of patricia tree☆23Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Updated last year
- Agda suffices: software written from A to Z in Agda☆16Updated 6 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Updated 4 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago
- ⚖️ Trial Data Type☆21Updated 6 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Read and write images as massiv arrays☆13Updated 4 years ago
- Split integers into digits, blazingly fast☆15Updated last week
- ☆12Updated 6 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 11 months ago
- Handle ASCII text with style and safety☆10Updated 9 months ago
- Bring fusion to everyone☆14Updated 5 years ago
- 🔖 Better Haskell documentation.☆17Updated 5 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Updated 8 years ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 4 years ago