8000 jamesnvc (James Cash) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View jamesnvc's full-sized avatar

Sponsoring

@SWI-Prolog

Organizations

@clojurecraft

Block or report jamesnvc

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

An X11 window manager written in Prolog

Prolog 234 3 Updated May 30, 2025

SWI-Prolog Main development repository

C 1,075 192 Updated May 31, 2025

Refactoring Tools for SWI-Prolog

Prolog 20 1 Updated Jan 11, 2025

A workbench for writing toy implementations of distributed systems.

Clojure 3,277 195 Updated Feb 4, 2025

Fuzzy Find in Project Fast

Nim 8 Updated Feb 3, 2021

Functional and flexible multimethods for Clojure. Nondestructive multimethod construction, CLOS-style aux methods and method combinations, partial-default dispatch, easy next-method invocation, hel…

Clojure 312 20 Updated May 12, 2025

Logtalk - declarative object-oriented logic programming language

Prolog 451 33 Updated May 28, 2025

Programming in Tabled Prolog by David S Warren

TeX 22 3 Updated Mar 11, 2020

My emacs configuration documented in literate programming style

Emacs Lisp 357 29 Updated May 27, 2025

An implementation of Org mode without the dependency of Emacs - built for mobile and desktop browsers

JavaScript 2,512 158 Updated May 27, 2025

Setup SWI-Prolog action

JavaScript 6 4 Updated May 15, 2025

a clojure(script) library that helps you compose web-applications out of declarative data-driven parts

Clojure 79 Updated May 12, 2025

A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.

Prolog 11 4 Updated Jun 23, 2019

A series of tutorials about emacs-calc

268 22 Updated Sep 30, 2019

Logical arithmetic on dates and times in Prolog

Prolog 9 3 Updated Mar 24, 2022

A regular expression compiler written in Prolog

Prolog 6 2 Updated Jan 6, 2019

node-red palette module for Pengines

HTML 8 3 Updated Nov 20, 2018

Test-driven system administration with a little extra logic.

Prolog 387 23 Updated Sep 22, 2018

CRDTs in Clojure(Script) with EDN Serialization

Clojure 352 6 Updated Jul 23, 2021

Date and time library for Prolog

Prolog 27 3 Updated Mar 8, 2021

Plugin for Kaleidoscope that allows you to record and play back macros on-the-fly.

C++ 16 5 Updated Aug 12, 2020

Unorthodox control flow, for Clojurists with masochistic sensibilities.

Clojure 209 8 Updated Mar 7, 2025

Some XKB files for use with the Keyboardio Model 01

Shell 13 3 Updated Mar 27, 2019

Global Ergonomic Latin Keyboard Layout

Python 6 Updated Jan 28, 2025

A modern editor with a backend written in Rust.

Rust 19,818 702 Updated Mar 19, 2024

Linux utility to configure modifier keys to act as other keys when pressed and released on their own.

C 2,124 113 Updated Sep 13, 2022

The Rust Programming Language

Rust 16,166 3,638 Updated May 29, 2025

🐉 Unite and create user interfaces

Vim Script 2,849 223 Updated May 18, 2023

A UI/UX framework for creating beautiful applications.

Swift 12,001 1,259 Updated May 16, 2022

🌠 Dark powered asynchronous completion framework for neovim/Vim8

Python 5,955 292 Updated Jun 5, 2024
Next
0