cpitclaudel/fstar.js cpitclaudel/fstar.js

  • Stars
    star
    21
  • Rank 1,056,848 (Top 22 %)
  • Language
    HTML
  • License
    Apache License 2.0
  • Created almost 7 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cpitclaudel/fstar.js
github

cpitclaudel

Reviews

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

Repository Details

F* running in the browser

More Repositories

1

monospacifier

Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)
Python
346
star
2

company-coq

A Coq IDE build on top of Proof General's Coq mode
Emacs Lisp
340
star
3

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
HTML
217
star
4

biblio.el

Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs
Emacs Lisp
170
star
5

z3.wasm

WASM builds of the Z3 SMT solver
Shell
136
star
6

quick-peek

Quick-peek inline-window library for Emacs
Emacs Lisp
79
star
7

academic-poster-template

An HTML+CSS template for making more accessible posters
Less
70
star
8

easy-escape

Improve readability of escape characters in ELisp regular expressions
Emacs Lisp
45
star
9

esh

Use Emacs to highlight source code listings in LaTeX and HTML documents!
Emacs Lisp
16
star
10

dBoost

TeX
16
star
11

elcoq

Experiments with SerAPI in Emacs
Emacs Lisp
6
star
12

compact-docstrings

Shrink blank lines in docstrings and doc comments
Emacs Lisp
6
star
13

cvc4.js

asm.js and WebAssembly ports of the CVC4 SMT solver
JavaScript
4
star
14

coq-rst

An experiment in porting Coq's manual to reStructuredText
Python
3
star
15

synquid-emacs

Edit Synquid files in Emacs!
Emacs Lisp
3
star
16

presenter-mode

Who needs PowerPoint?
Emacs Lisp
2
star