Montague
holmes
Our great sponsors
| Montague | holmes | |
|---|---|---|
| 4 | - | |
| 12 | 297 | |
| - | - | |
| 0.0 | 0.0 | |
| about 1 year ago | about 2 months ago | |
| Haskell | Haskell | |
| GNU Affero General Public License v3.0 | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Montague
-
How would I go about implementing search over a lazy tree in Rust?
But basically, I'm interested in figuring out how I might re-implement the search algorithm I implemented in this repo in Rust to make it blazingly fast more performant.
-
Question: Type system for Lojban structure and semantics
Also (shameless plug), but trying to use something like this for Lojban would be cool.
-
Any semantic note taking apps out there?
You can check out my latest iteration of the concept here if you're interested. It is currently mostly Haskell, as that is what I am most familiar with, and that is what my library for parsing natural language into structured form (Montague) is written in. But I'm also a fan of Rust -- and you'll see that part of the application is written in Rust due to the use of Tauri for desktop versions.
-
Combinatory Categorial Grammar (CCG) in PL design?
I've done some experimentation towards this end in both https://github.com/sintrastes/montague and (older, less of a complete implementation) in https://github.com/sintrastes/bli-prolog
holmes
We haven't tracked posts mentioning holmes yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
megaparsec - Industrial-strength monadic parser combinator library
code-builder - Packages for defining APIs, running them, generating client code and documentation.
streamly - High performance, concurrent functional programming abstractions
massiv - Efficient Haskell Arrays featuring Parallel computation
eng-stemmer - An English-Language stemmer
refined - Refinement types with static checking
prim-uniq - Opaque unique identifiers in primitive state monads
interpolate - String interpolation for Haskell done right!
Frames - Data frames for tabular data.
d10 - Digits 0-9
hnix - A Haskell re-implementation of the Nix expression language
semantic-source - Parsing, analyzing, and comparing source code across many languages