Distributional Formal Semantics (DFS) tools
☆18Oct 17, 2022Updated 3 years ago
Alternatives and similar repositories for dfs-tools
Users that are interested in dfs-tools are comparing it to the libraries listed below
Sorting:
- A rule engine based on Attempto Controlled English☆18Nov 1, 2024Updated last year
- Small, simple, expression-oriented programming language.☆31Updated this week
- Last.fm API for Emacs Lisp☆24Jan 30, 2026Updated last month
- Large lexicon for APE (~100,000 entries)☆31Nov 5, 2018Updated 7 years ago
- Sort of Lambdas for gcc☆32Aug 30, 2019Updated 6 years ago
- This code is experiments in adding functionality from the Arduino core to the Atmel SAMD10 Xplained Mini Eval Board.☆10Dec 3, 2021Updated 4 years ago
- Official website for the TRON (Token Reduced Object Notation) format☆36Nov 29, 2025Updated 3 months ago
- Adding client SOCKS support to Twisted.☆18Feb 2, 2014Updated 12 years ago
- KCP - A Fast and Reliable ARQ Protocol A KCP implementation in Erlang☆10Mar 15, 2019Updated 6 years ago
- Erlang library for encoding and decoding Packet Forwarding Control Protocol (PFCP) frames.☆13Jun 24, 2024Updated last year
- Behavioral probing of language acquisition models at the lexical and syntactic level☆17Jul 17, 2023Updated 2 years ago
- blogging over the terminal☆11May 24, 2024Updated last year
- Efficient MeTTa language implementation in Prolog.☆20Updated this week
- My various command line scripts that I'm using on my Debian desktops and servers☆12Dec 15, 2025Updated 2 months ago
- A plugin to control Spotify from within Emacs.☆10Feb 8, 2026Updated 3 weeks ago
- Associated blog post - https://tristanrhodes.com/blog/Adventures-in-Algorithmic-Trading-on-the-Runescape-Grand-Exchange☆10Oct 14, 2024Updated last year
- A simple bridge into games that use N64-style controller input☆11May 9, 2020Updated 5 years ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- chip8 emulator that runs on the terminal☆11Oct 8, 2022Updated 3 years ago
- This gem provides a way to connect to aws redshift using the ruby-pg☆12Jun 28, 2023Updated 2 years ago
- FIX (Foreign Information Exchange) protocol implementation for Erlang☆11Dec 16, 2017Updated 8 years ago
- Google Calendar CLI written in Rust☆13Apr 3, 2025Updated 11 months ago
- Linux process monitor in RUST☆13May 5, 2018Updated 7 years ago
- Comparing SSR into HTML & JSON in Flask☆10Jun 13, 2024Updated last year
- UWaterloo NLP Reading Group.☆12Feb 13, 2020Updated 6 years ago
- mod_asn, an Apache module to look up routing data.☆12Feb 23, 2017Updated 9 years ago
- ☆10Oct 17, 2021Updated 4 years ago
- Golang library for the BlinkyTape☆13Jun 24, 2019Updated 6 years ago
- Set of tools and data to compute all known invariants for simple connected graphs☆14Mar 6, 2018Updated 8 years ago
- Misc debugging utilities.☆11Dec 18, 2025Updated 2 months ago
- ACME client library for Erlang☆12Jan 19, 2026Updated last month
- experiments in lisp static analysis☆12Oct 12, 2015Updated 10 years ago
- uTP implementation in Erlang☆22Jun 9, 2012Updated 13 years ago
- Erlang interface for controlling Unix processes☆15May 28, 2023Updated 2 years ago
- Backtesting Engine to Backtest Index Strategies on Options, Futures and Spot (BankNIFTY, NIFTY) for Indian Share Market☆11May 9, 2020Updated 5 years ago
- A web frontend for newsgroups☆16Jan 23, 2019Updated 7 years ago
- Racing on the Bluesky firehose.☆10Apr 23, 2025Updated 10 months ago
- AWS Lambda function to terminate ECS instances with stopped agents.☆12Jun 18, 2019Updated 6 years ago
- Standardized regression predictors for use with StatsModels.jl (centered, z-scored, etc.)☆10Updated this week