lambdamikel/GenEd lambdamikel/GenEd

  • Stars
    star
    18
  • Rank 1,208,065 (Top 24 %)
  • 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
30
star
2

OntoLisp

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

Speak-SID

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

Common-Lisp-Persistency-Manager

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

Talker-80

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

BluePillCPC

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

CPCDiskAdapter

A Universal Floppy Disk Drive Adapter for the Amstrad / Schneider CPC 464
13
star
8

Busch-2090

An Emulator of the Busch 2090 Microtronic Computer System for Arduino Uno and Arduino Mega 2560
C++
12
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
12
star
10

CPCConnector

A Simple Expansion Port Connector for the Amstrad / Schneider CPC
9
star
11

PetriNets-CLIM-Demo

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

VISCO

A Visual Spatial Query Language written in Common Lisp & CLIM for its GUI
Common Lisp
9
star
13

DLMAPS

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

LambdaBoard

An Expansion Connector Extender & Backplane for the Amstrad / Schneider CPC
8
star
15

LambdaSpeak

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

RacerPorter

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

picoram2090

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

MegaLambda-x6

The Ultimate Backplane for the Amstrad CPC
5
star
19

LambdaSpeak-FS

C
5
star
20

picoram6116

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

MiDeLoRa

Michael's Description Logic Reasoner Framework
Common Lisp
4
star
22

microtronic-2095-arduino-emulator

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

europc-keyboard

Schneider EuroPC Keyboard Membrane Replacement
2
star