matthewhammer / twelf Goto Github PK
View Code? Open in Web Editor NEWThis project forked from standardml/twelf
The Twelf Programming Language (mirror of SVN repository)
Home Page: http://twelf.org/
License: Other
This project forked from standardml/twelf
The Twelf Programming Language (mirror of SVN repository)
Home Page: http://twelf.org/
License: Other
Twelf Copyright (C) 1997-2011, Frank Pfenning and Carsten Schuermann Authors: Frank Pfenning Carsten Schuermann With contributions by: Brigitte Pientka Roberto Virga Kevin Watkins Jason Reed Twelf is an implementation of - the LF logical framework, including type reconstruction - the Elf constraint logic programming language - a meta-theorem prover for LF (very preliminary) - a set of expansion modules to deal natively with numbers and strings - an Emacs interface Installing ========== For complete installation instructions, see http://twelf.org/ Twelf can be compiled and installed under Unix, either as a separate "Twelf Server" intended primarily as an inferior process to Emacs, or as a structure Twelf embedded in Standard ML. To build with SML of New Jersey type "make smlnj." To build with MLton type "make mlton." If you are building Twelf through SML of New Jersey, you may need to run "make buildid" first. Files ===== README --- this file Makefile --- enables make server.cm --- used to build Twelf Server sources.cm --- used to build Twelf SML bin/ --- utility scripts, heaps, binaries build/ --- build files (type "make" to see options) doc/ --- (Outdated) Twelf user's guide emacs/ --- Emacs interface for Twelf examples/ --- various case studies examples-clp/ --- examples of use of the numbers and strings extensions src/ --- the SML sources for Twelf tex/ --- TeX macros and style files vim/ --- Vim interface for Twelf
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.