danielvegamyhre / semantic-vizLinks
An application to visualize the semantic distance between two words using the Wordnet lexical database and algorithmic path finding.
☆10Updated 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:
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated last month
- Funny little Haskell impl☆18Updated 4 years ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 4 years ago
- Zippers for cofree types☆13Updated 3 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 7 months ago
- Gameboy color emulator in Haskell☆9Updated 10 months ago
- Linear map categories in Agda☆5Updated 2 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 11 months ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Updated last week
- Probabilistic Functional Logic Programming☆16Updated 3 months 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
- Read and write images as massiv arrays☆13Updated 3 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 4 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated 4 months ago
- Label dependent dependent session types☆16Updated last year
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆32Updated 3 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Updated 6 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- ☆11Updated 6 months ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 8 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
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Updated 6 years ago
- DEPRECATED: use https://github.com/MercuryTechnologies/moat☆23Updated 4 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- Bring fusion to everyone☆13Updated 5 years ago