binghe/informatica-public binghe/informatica-public

  • Stars
    star
    76
  • Rank 420,374 (Top 9 %)
  • Language Standard ML
  • License
    Creative Commons ...
  • Created about 9 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
binghe/informatica-public
github

binghe

Reviews

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

Repository Details

Public code developed during my MSc study at University of Bologna

More Repositories

1

pcl-cn

Practical Common Lisp (中英文对照版) - for Chinese only
Makefile
178
star
2

PCL

Portable CommonLoops for modern CL platforms (unfinished work)
Common Lisp
68
star
3

acrobat-actions

Actions, Commands and Plug-ins for Adobe® Acrobat® Pro
C
62
star
4

MCL

Macintosh Common Lisp 6
Common Lisp
23
star
5

cl-net-snmp

Simple Network Management Protocol (SNMP) for Common Lisp
Common Lisp
22
star
6

OSCAR

The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent
Common Lisp
14
star
7

portable-threads

Portable threads API for Common Lisp (from GBBopen project)
Common Lisp
13
star
8

fm-plugin-tools

A toolkit for FileMaker plug-in developments in Common Lisp
Common Lisp
11
star
9

closette

Closette - a toy Common Lisp Object System (CLOS) described in The Art of the Metaobject Protocol (AMOP)
Common Lisp
8
star
10

HOL-CCS

Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
TeX
6
star
11

lispworks-udp

UDP support for LispWorks
Common Lisp
5
star
12

GBBopen

GBBopen - Black Board System (mirror of official SVN repository)
HTML
5
star
13

cl-ipmi

Intelligent Platform Management Interface (IPMI) in Common Lisp (unfinished work)
Common Lisp
2
star
14

gcl

GNU Common Lisp (GCL) - fork
Common Lisp
1
star
15

FBK-Public

Public files developed during my PhD study
Batchfile
1
star