lambdamikel/GenEd lambdamikel/GenEd

  • Stars
    star
    17
  • Rank 1,232,070 (Top 25 %)
  • Language
    Common Lisp
  • License
    GNU General Publi...
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lambdamikel/GenEd
github

lambdamikel

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An Editor with Generic Semantics for Formal Reasoning About Visual Notations

More Repositories

1

Common-Lisp-Tangram-Solver

A Tangram Puzzle Solver in Common Lisp that is capable of solving arbitrary geometric tiling problems. CLIM (Common Lisp Interface Manager) is used for its GUI.
Common Lisp
28
star
2

OntoLisp

A Common Lisp Framework for the Semantic Web
Common Lisp
19
star
3

Common-Lisp-Persistency-Manager

A File-Based Fully Automatic Lisp Datastructure Serializer / Persistency Manager, Similar to "Pickle" for Python
Common Lisp
15
star
4

Speak-SID

A Speech Synthesizer, SID Soundcard, MIDI IN SID+AY Synthesizer for the Amstrad CPC
Assembly
14
star
5

Talker-80

A Modern Voice Synthesizer for the TRS-80 Model 1
C
13
star
6

BluePillCPC

An Extension Board for the Amstrad CPC based on the Blue Pill Microcontroller
Python
13
star
7

Busch-2090

An Emulator of the Busch 2090 Microtronic Computer System for Arduino Uno and Arduino Mega 2560
C++
11
star
8

CPCDiskAdapter

A Universal Floppy Disk Drive Adapter for the Amstrad / Schneider CPC 464
10
star
9

LambdaSpeak3

LambdaSpeak 3 is a Speech Synthesizer, Sample Player, UART Serial Interface, and Real Time Clock for the Amstrad / Schneider CPC Home Computer
C
10
star
10

PetriNets-CLIM-Demo

A Simple Petri Net Editor and Simulator written in Common Lisp with CLIM (Common Lisp Interface Manager) GUI
Common Lisp
8
star
11

VISCO

A Visual Spatial Query Language written in Common Lisp & CLIM for its GUI
Common Lisp
8
star
12

CPCConnector

A Simple Expansion Port Connector for the Amstrad / Schneider CPC
7
star
13

LambdaSpeak

LambdaSpeak - A Next-Generation Speech Synthesizer for the Amstrad (Schneider) CPC Computers
C
7
star
14

DLMAPS

DLMAPS = Description Logic Maps: Ontology-Based Spatial Queries to Digital City Maps
Common Lisp
7
star
15

LambdaBoard

An Expansion Connector Extender & Backplane for the Amstrad / Schneider CPC
5
star
16

RacerPorter

An Ontology Visualization & Authoring Workbench for KRSS-Based Description Logic & OWL Reasoners
Common Lisp
5
star
17

MegaLambda-x6

The Ultimate Backplane for the Amstrad CPC
4
star
18

LambdaSpeak-FS

C
4
star
19

MiDeLoRa

Michael's Description Logic Reasoner Framework
Common Lisp
3
star
20

microtronic-2095-arduino-emulator

An Emulator of the Busch Microtronic 2095 Cassette Interface for Arduino Uno R3
C++
2
star
21

picoram2090

A Raspberry Pi Pico (RP2040)-based 2114 SRAM Emulator for the Busch 2090 Microtronic Computer System
C
2
star
22

picoram6116

A Raspberry Pi Pico (RP2040)-based 6116 SRAM Emulator & SD Card Interface for the Microprofessor
C
2
star
23

europc-keyboard

Schneider EuroPC Keyboard Membrane Replacement
1
star