Genivia/Husky external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Genivia/Husky

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Genivia/Husky)

Close

Genivia / HuskyView on GitHubMore

• External links
• Readme badge

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

☆18Sep 21, 2020Updated 5 years ago

Alternatives and similar repositories for Husky

Users that are interested in Husky are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• SWI-Prolog / tabled-prolog-book

  View on GitHub
  Programming in Tabled Prolog by David S Warren
  ☆24Mar 11, 2020Updated 6 years ago
• trueagi-io / PeTTa

  View on GitHub
  Efficient MeTTa language implementation in Prolog.
  ☆27Updated this week
• SWI-Prolog / packages-sweep

  View on GitHub
  GNU-Emacs interface that embeds Prolog as an Emacs module
  ☆16Updated this week
• SWI-Prolog / roadmap

  View on GitHub
  Discuss future development
  ☆22Sep 25, 2015Updated 10 years ago
• SWI-Prolog / docker-swipl

  View on GitHub
  Docker images for SWI-Prolog
  ☆17Updated this week
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• astro-pi / SpaceCRAFT

  View on GitHub
  Astro Pi Primary School Winning Entry - ISS data in Minecraft
  ☆10Jun 17, 2016Updated 10 years ago
• Genivia / SJOT

  View on GitHub
  Fast and lightweight JSON validation and JS type checking. SJOT schemas are as simple as JSON templates.
  ☆22May 14, 2021Updated 5 years ago
• hu55a1n1 / onvif-gsoap-by-example

  View on GitHub
  An example demonstrating how to retrieve a snapshot URI from an ONVIF complaint IP camera and download it locally
  ☆15May 19, 2023Updated 3 years ago
• utz82 / SC61860-Instruction-Set

  View on GitHub
  Documentation for the SC61860 (aka ESR-H) CPU
  ☆16Jul 31, 2024Updated last year
• oasis-tcs / xliff-omos-jliff

  View on GitHub
  OASIS XLIFF OMOS TC: JSON serialization of the XLIFF Abstract Object Model
  ☆17Jun 14, 2022Updated 4 years ago
• ptarau / natlog

  View on GitHub
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆32Oct 3, 2025Updated 9 months ago
• Anniepoo / JavaPengine

  View on GitHub
  Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine
  ☆10May 8, 2016Updated 10 years ago
• mndrix / edcg

  View on GitHub
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆22Mar 22, 2018Updated 8 years ago
• apache / fineract-cn-docker-compose

  View on GitHub
  Apache Fineract CN Docker Compose for Development
  ☆14Apr 3, 2023Updated 3 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• UO-cis561 / reflex-bison-ast

  View on GitHub
  Simple example showing how re-flex and bison can build an AST
  ☆15Aug 1, 2020Updated 5 years ago
• vangelisv / thea

  View on GitHub
  OWL2 library for Prolog
  ☆114Aug 23, 2019Updated 6 years ago
• aarroyoc / doclog

  View on GitHub
  DocLog builds documentation from source code in Prolog
  ☆35May 9, 2026Updated 2 months ago
• edisonm / refactor

  View on GitHub
  Refactoring Tools for SWI-Prolog
  ☆22Jul 1, 2026Updated 2 weeks ago
• simularity / SimGen

  View on GitHub
  A simulation language
  ☆22Dec 21, 2020Updated 5 years ago
• Makerfabs / Maduino-Zero-A9G

  View on GitHub
  Maduino Zero A9 or A9G demo code
  ☆13Dec 30, 2022Updated 3 years ago
• cesarferreira / clickclack

  View on GitHub
  🎹 A mechanical keyboard sound simulator for macOS
  ☆16Feb 15, 2025Updated last year
• terminusdb / terminus_store_prolog

  View on GitHub
  Prolog binding for terminusdb-store
  ☆23Jun 13, 2022Updated 4 years ago
• Genivia / ugrep-benchmarks

  View on GitHub
  ugrep benchmarks
  ☆31Jun 17, 2025Updated last year
• End-to-end encrypted email - Proton Mail • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
• adafruit / Adafruit-E-Paper-Display-Breakout-PCBs

  View on GitHub
  PCB files for Adafruit E-Paper Display Breakouts
  ☆12Feb 7, 2024Updated 2 years ago
• eshelyaron / debug_adapter

  View on GitHub
  Debug Adapter Protocol (DAP) implementation for SWI-Prolog
  ☆25Mar 28, 2022Updated 4 years ago
• dicpeynado / prolog-in-forth

  View on GitHub
  L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.
  ☆30Aug 20, 2021Updated 4 years ago
• SWI-Prolog / swipl-wasm

  View on GitHub
  Run SWI-Prolog in your browser using WebAssemply
  ☆80Aug 29, 2022Updated 3 years ago
• anton-trunov / plt-study

  View on GitHub
  A path to Programming Language Theory enlightenment
  ☆13Apr 13, 2016Updated 10 years ago
• stassa / louise

  View on GitHub
  Polynomial-time Meta-Interpretive Learning
  ☆135Feb 11, 2025Updated last year
• kyledewey / typed-prolog

  View on GitHub
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆32Oct 18, 2017Updated 8 years ago
• sparkfun / SparkFun_Edge_BSP

  View on GitHub
  BSP and examples to integrate the SparkFun TensorFlow board with the AmbiqSuite
  ☆20Dec 18, 2019Updated 6 years ago
• CapelliC / hhprolog

  View on GitHub
  hitchhiker Prolog - an implementation of a novel virtual machine
  ☆12May 6, 2023Updated 3 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• lemire / validateutf8-experiments

  View on GitHub
  Reproducible experiments on UTF-8 validation using SIMD instructions
  ☆41Apr 21, 2026Updated 3 months ago
• Genivia / FuzzyMatcher

  View on GitHub
  Fast fuzzy regex matcher: specify max edit distance to find approximate matches. FuzzyMatcher is now included in RE/flex.
  ☆38Apr 29, 2025Updated last year
• NICTA / iris-reasoner

  View on GitHub
  Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge
  ☆11Mar 18, 2016Updated 10 years ago
• scijs / durand-kerner

  View on GitHub
  Finds roots of polynomials by Weierstrauss' method
  ☆26Jul 2, 2015Updated 11 years ago
• nathanrs / symbolic_math

  View on GitHub
  A Rust library for performing symbolic mathematics. Supports basic arithmetic operations, expression simplification, and expansion, and e…
  ☆14Mar 19, 2024Updated 2 years ago
• SWI-Prolog / packages-swipl-win

  View on GitHub
  Portable Qt-based console for SWI-Prolog by Carlo Capelli
  ☆11Sep 9, 2025Updated 10 months ago
• lexi-lambda / mini-ml

  View on GitHub
  An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)
  ☆21Feb 15, 2019Updated 7 years ago