Combine two wikipedia pages to make new facts. Tweets @brand_new_facts
☆18Sep 18, 2018Updated 7 years ago
Alternatives and similar repositories for fact-join
Users that are interested in fact-join are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- The New Yorken Poesry Magazine is a cultured poetry journal by AI, for AI☆36Mar 15, 2019Updated 7 years ago
- Spreadsheet demo in Haskell☆16Feb 21, 2026Updated last month
- "Translate" a plot from Mark Riedl's WikiPlots corpus into a poem. For NaPoGenMo 2017.☆21Apr 30, 2017Updated 8 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Feb 13, 2018Updated 8 years ago
- Show Images in Your Brick TUI Using w3mimgdisplay☆15Jul 31, 2021Updated 4 years ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- Agda to C compiler☆10Sep 23, 2025Updated 6 months ago
- ☆13Jan 7, 2026Updated 2 months ago
- Spotify clone for the Internet Archive's Music Library☆15Aug 19, 2020Updated 5 years ago
- an implementation of Evolution for a course on Sw Dev☆10May 9, 2016Updated 9 years ago
- ☆20Jul 8, 2023Updated 2 years ago
- Provides an eventsourcing high level API.☆13Dec 11, 2018Updated 7 years ago
- PonyMUD - A multiplayer text adventure game written in Pony☆11Aug 17, 2017Updated 8 years ago
- Don't let *them* read your mail. Encrypt it now.☆18Jun 13, 2018Updated 7 years ago
- signal-cli (formerly textsecure-cli) provides a commandline and dbus interface for WhisperSystems/libsignal-service-java☆15Jul 16, 2018Updated 7 years ago
- ☆27Mar 10, 2026Updated last week
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated last year
- Meta-programming utilities for Agda.☆20Aug 5, 2025Updated 7 months ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 3 months ago
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated last year
- A small Javascript toolkit to work with french poetry☆14Feb 21, 2017Updated 9 years ago
- Session types framework with support of protocol pipelining.☆16Mar 13, 2026Updated last week
- An agda2hs-compatible library for well-scoped syntax☆11Nov 6, 2025Updated 4 months ago
- ☆11Sep 29, 2015Updated 10 years ago
- Use handlebar templates in tide☆10Jun 7, 2021Updated 4 years ago
- An implementation of the 7GUIs in reflex-dom☆17Jun 1, 2016Updated 9 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- Brain dead simple audio piper with ALSA☆11Oct 26, 2015Updated 10 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Sep 27, 2015Updated 10 years ago
- A comment server written in Rust☆16Dec 23, 2018Updated 7 years ago
- Amalgamated C source and Golang bindings for common cross-platform audio libraries☆15Oct 1, 2017Updated 8 years ago
- ☆31Sep 9, 2014Updated 11 years ago
- Dump the declarations of Haskell modules☆18Mar 4, 2026Updated 2 weeks ago
- Send OpenBSD PF statistics to Graphite☆11Jul 6, 2023Updated 2 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Feb 23, 2018Updated 8 years ago
- I Wish To ... a command line magic tool using LLM (via OpenAI API)☆12Jul 17, 2023Updated 2 years ago
- DirectSound wrapper without cgo☆10Nov 1, 2014Updated 11 years ago
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Dec 15, 2024Updated last year