Pi3th0n/RoboJackets-Training
Sample projects and starter code for the RoboJackets software training program. (⭐ 1)
Full Metal Jacket: A Visual Programming Language Based on Lisp
Points: 166 | Comments: 104 | Author: vmorgulis
bnjbvr/rouille
Rust programming, in French. (⭐ 1751)
What is the 'new' keyword in JavaScript? - Stack Overflow
The new keyword in JavaScript can be quite confusing when it is first encountered, as people tend to think that JavaScript is not an object-oriented programming language. What is it? What problems ...
Revealing the X-ray emission processes of old rotation-powered pulsars: XMM-Newt…
We have completed part of a program to study the X-ray emission properties of old rotation-powered pulsars with XMM-Newton in order to probe and identify the origin of their X-radiation. The X-ray emission from these old pulsars is largely dominate...
An Open Ended Tree
An open ended list is a well known data structure in Prolog programs. It is frequently used to represent a value changing over time, while this value is referred to from several places in the data structure of the application. A weak point in this...
Self-Modifying Code in Open-Ended Evolutionary Systems
Having a model and being able to implement open-ended evolutionary systems is important for advancing our understanding of open-endedness. Complex systems science and newest generation high-level programming languages provide intriguing possibilities...
Linux Vi Command - Computer Hope
Jun 1, 2025 · On Unix-like operating systems, vi (pronounced "vee-eye") is a text editor. The vi command starts the visual mode of ex, the landmark editing program developed by William Joy in the …
vi (text editor) - Wikipedia
vi (pronounced as two letters, / ˌviːˈaɪ / ⓘ) [1] is a screen-oriented text editor originally created for the Unix operating system. The portable subset of the behavior of vi and programs based on it, and the …
ModelTalk: A Framework for Developing Domain Specific Executable Models
Developing and maintaining complex, large-scale, product line of highly customized software systems is difficult and costly. Part of the difficulty is due to the need to communicate business knowledge between domain experts and application programm...
gbroques/missionaries-and-cannibals
Python program that solves the Missionaries and Cannibals problem, a toy problem in AI, with iterative deepening search. (⭐ 13)
achlipala/frap
Formal Reasoning About Programs (⭐ 725)
Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
Verification-aware programming languages such as Dafny and F* provide means to formally specify and prove properties of a program. Although the problem of checking an implementation against a specification can be defined mechanically, there is no alg...
Generalising KAT to verify weighted computations
Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of this structu...
Deciding KAT and Hoare Logic with Derivatives
Kleene algebra with tests (KAT) is an equational system for program verification, which is the combination of Boolean algebra (BA) and Kleene algebra (KA), the algebra of regular expressions. In particular, KAT subsumes the propositional fragment of...
mikf/gallery-dl
Command-line program to download image galleries and collections from several image hosting sites (⭐ 17036)
Teron station - Wikipedia
main purpose of the new Transitway facility according to OC Transpo's Transplan program as the result of public consultation process on transit improvement
LuaLS/lua-language-server
A language server that offers Lua language support - programmed in Lua (⭐ 4151)
Design and Implementation of the Illinois Express Quantum Metropolitan Area Netw…
The Illinois Express Quantum Network (IEQNET) is a program to realize metropolitan scale quantum networking over deployed optical fiber using currently available technology. IEQNET consists of multiple sites that are geographically dispersed in the C...
cs341-illinois/coursebook
Open Source Introductory Systems Programming Textbook for the University of Illinois (⭐ 768)