Pokemon Draft tools in Prolog
☆21Feb 28, 2026Updated 6 months ago
Alternatives and similar repositories for prologdex
Users that are interested in prologdex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A LSP Server Implementation for Faust☆14Sep 1, 2025Updated 11 months ago
- ☆20May 12, 2023Updated 3 years ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- Crosstalk: Smalltalk in Scheme -- clean room bootstrap of Smalltalk core☆22Feb 18, 2026Updated 6 months ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- End to end declarative web programming with no JS using htmx and SWI-Prolog☆13Aug 28, 2020Updated 6 years ago
- Show Images in Your Brick TUI Using w3mimgdisplay☆15Jul 31, 2021Updated 5 years ago
- The high-level goals, current focus, future plans, and wishlist for the D Programming Language.☆15May 20, 2023Updated 3 years ago
- A friendly functional language for finding counterexamples 🎯☆15Jul 15, 2024Updated 2 years ago
- O Tal Canal é uma rede social de comunidades onde os portugueses podem falar sobre os seus interesses e discutir apaixonadamente as suas …☆10Jul 1, 2023Updated 3 years ago
- files from cl directory of parcftp about 2014☆12Jan 16, 2024Updated 2 years ago
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated 2 years ago
- Scheme library collection with yearly stable releases☆17Jun 5, 2022Updated 4 years ago
- A parametric optical trackball device☆30Oct 2, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 10 years ago
- A Markdown to HTML compiler written in Haskell.☆17Apr 15, 2024Updated 2 years ago
- Common Lisp library for Zstandard (de)compression using bindings to the libzstd C library☆16Mar 21, 2023Updated 3 years ago
- Library of simd functions☆19Jun 13, 2026Updated 2 months ago
- Clone of https://gitorious.org/lisp-1-5/lisp-1-5 Informatimago's Machine Readable Transcription of the LISP 1.5 (1962) Sources☆15Nov 19, 2014Updated 11 years ago
- Sources - with fixes - of the draft Common Lisp specification proposed to the American National Standard for Information Systems as well …☆16May 6, 2024Updated 2 years ago
- A command line tool that reads from stdin and strips ANSI color codes from the input.☆10Feb 11, 2023Updated 3 years ago
- devPT Landing Page☆14Aug 26, 2023Updated 3 years ago
- Wrapper for the Cephes Mathematical Library☆17Jul 5, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- http://www.t3x.org/files/zenlisp.zip☆19Aug 15, 2020Updated 6 years ago
- Functional Geometry in Prolog☆18May 17, 2020Updated 6 years ago
- A Programming Language for Everyone and Everything☆39Jul 27, 2026Updated last month
- Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations☆64Feb 27, 2011Updated 15 years ago
- Repository containg reports and documentation on Copilot☆18Dec 14, 2024Updated last year
- ☆16Oct 29, 2024Updated last year
- The Powerlang Bootstrapper☆42Oct 29, 2023Updated 2 years ago
- Arm (Thumb2) Linux Forth Compiler☆17Sep 26, 2020Updated 5 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆62Jul 20, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The LC3 virtual machine☆24Dec 14, 2024Updated last year
- A Common Lisp compiler, designed to compile to C (and from there to native code or JavaScript)☆28Feb 7, 2015Updated 11 years ago
- Command to show character (Unicode code point) frequency.☆22Dec 2, 2015Updated 10 years ago
- Scheme interpreter in C☆16Updated this week
- proof-of-concept Strudel mode for Emacs☆18Oct 27, 2025Updated 10 months ago
- Set Theory Game☆30Jan 20, 2026Updated 7 months ago
- an IMAP mail client implemented in Racket☆33Jun 28, 2025Updated last year