package info (click to toggle)
acl2 8.6%2Bdfsg-2
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 1,111,420 kB
  • sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,976; makefile: 3,833; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17

Folder: projects

d .. (parent)
d d rwxr-xr-x 4,096 .sys
d d rwxr-xr-x 4,096 abnf
d d rwxr-xr-x 4,096 aleobft
d d rwxr-xr-x 4,096 apply
d d rwxr-xr-x 4,096 apply-model
d d rwxr-xr-x 4,096 apply-model-2
d d rwxr-xr-x 121 arm
d d rwxr-xr-x 4,096 async
d d rwxr-xr-x 80 avr-isa
d d rwxr-xr-x 49 cache-coherence
d d rwxr-xr-x 4,096 cholesky
d d rwxr-xr-x 4,096 codewalker
d d rwxr-xr-x 27 concurrent-programs
d d rwxr-xr-x 4,096 curve25519
d d rwxr-xr-x 90 die-hard-bottle-game
d d rwxr-xr-x 146 dpss
d d rwxr-xr-x 4,096 equational
d d rwxr-xr-x 4,096 execloader
d d rwxr-xr-x 4,096 farray
d d rwxr-xr-x 56 fifo
d d rwxr-xr-x 4,096 filesystems
d d rwxr-xr-x 4,096 fm9001
d d rwxr-xr-x 4,096 fm9801
d d rwxr-xr-x 79 gaussian-elim-solvers
d d rwxr-xr-x 4,096 groups
d d rwxr-xr-x 115 hexnet
d d rwxr-xr-x 107 hol-acl2
d d rwxr-xr-x 4,096 hybrid-systems
d d rwxr-xr-x 4,096 irv
d d rwxr-xr-x 4,096 leftist-trees
d d rwxr-xr-x 4,096 legacy-defrstobj
d d rwxr-xr-x 4,096 leo
d d rwxr-xr-x 4,096 linear
d d rwxr-xr-x 4,096 milawa
d d rwxr-xr-x 4,096 numbers
d d rwxr-xr-x 127 oracle
d d rwxr-xr-x 4,096 paco
d d rwxr-xr-x 111 pdf-parser
d d rwxr-xr-x 4,096 pfcs
d d rwxr-xr-x 4,096 pltpa
d d rwxr-xr-x 4,096 poseidon
d d rwxr-xr-x 4,096 rac
d d rwxr-xr-x 4,096 regex
d d rwxr-xr-x 4,096 rp-rewriter
d d rwxr-xr-x 141 sat
d d rwxr-xr-x 4,096 sb-machine
d d rwxr-xr-x 4,096 schroeder-bernstein
d d rwxr-xr-x 76 security
d d rwxr-xr-x 85 shnf
d d rwxr-xr-x 4,096 sidekick
d d rwxr-xr-x 50 simple-url-parser
d d rwxr-xr-x 4,096 smtlink
d d rwxr-xr-x 79 srt
d d rwxr-xr-x 4,096 stateman
d d rwxr-xr-x 101 symbolic
d d rwxr-xr-x 4,096 taspi
d d rwxr-xr-x 77 translators
d d rwxr-xr-x 4,096 vescmul
d d rwxr-xr-x 4,096 vwsim
d d rwxr-xr-x 4,096 wp-gen
d d rwxr-xr-x 4,096 x86isa
- - rw-r--r-- 453 apply-model-2-deps.lisp
- - rw-r--r-- 453 apply-model-deps.lisp
- - rw-r--r-- 30 doc.acl2
- - rw-r--r-- 262 doc.lisp
- - rw-r--r-- 30 include-doc.acl2
- - rw-r--r-- 32,037 include-doc.lisp
- - rw-r--r-- 30 top-doc.acl2
- - rw-r--r-- 1,975 top-doc.lisp