carliros/software-foundations-book carliros/software-foundations-book

  • Stars
    star
    15
  • Rank 1,329,060 (Top 27 %)
  • Language Coq
  • Created about 9 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
carliros/software-foundations-book
github

carliros

Reviews

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

Repository Details

http://www.cis.upenn.edu/~bcpierce/sf

More Repositories

1

Simple-San-Simon-Functional-Web-Browser

A Web Browser written with Haskell
Haskell
35
star
2

Selector

Tesiting selectors of CSS
Haskell
4
star
3

dbjava

A serializer and deserializer of the Jvm classfile format.
Haskell
3
star
4

WikiServer

server wiki
2
star
5

Tree-Box

Tree-Box Css
Haskell
2
star
6

uuag-language-syntax

1
star
7

curso-logica

Herramientas del curso de lógica
HTML
1
star
8

ParserXML

Simple Parser for XML
Haskell
1
star
9

Css-Box-Model

Css Box Model
Haskell
1
star
10

iJavac

Code of the paper The Hacker's Guide to Javac by David Erni and Adrian Kuhn
Java
1
star
11

purescript-counter

playing around with purescript
TypeScript
1
star
12

idbjava

User Graphics Interface para Java y DBJava
Haskell
1
star
13

lc

Implementation of paper "λ-calculus cooked four ways" by Lennart Augustsson
Haskell
1
star
14

s2hk

para el san simon hackathone
Haskell
1
star
15

reporter

reporter generator
Elm
1
star
16

Inheritance

Cascading algorithm and Inheritance of css properties.
Haskell
1
star
17

cField

It calculates widths and x coords for a list of fields
Haskell
1
star