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:
- Zippers for cofree types☆13Updated 3 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 3 weeks ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 6 years ago
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 7 months ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 9 months ago
- Probabilistic Functional Logic Programming☆16Updated 5 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
- ☆12Updated 6 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
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- Label dependent dependent session types☆16Updated last year
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- Hakyll support for Agda literate files☆19Updated 4 years ago
- 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
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Resin: high performance variable binder and ast manipulation lib☆13Updated 6 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated 6 months ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 4 years ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 4 years ago
- Interpreter for functional pure type systems.☆21Updated 8 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 8 years ago
- A flexible Haskell API for querying the GitHub REST API☆14Updated last year
- Clipboard synchronization tool☆12Updated 3 weeks ago