avestura/FStarDocBootstrapper avestura/FStarDocBootstrapper

  • Stars
    star
    3
  • Rank 3,943,079 (Top 79 %)
  • Language
    F#
  • License
    MIT License
  • Created over 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
avestura/FStarDocBootstrapper
github

avestura

Reviews

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

Repository Details

Translates FStar official docs to reStructuredText

More Repositories

1

EyesGuard

๐Ÿ‘€ Windows Application for protecting your eyes
C#
229
star
2

PhotoFiremark

๐Ÿ–ผ PhotoFiremark hides a photo in another photo
C#
163
star
3

KuttSharp

๐Ÿ”ช .NET Package for kutt.it url shortener
C#
29
star
4

Presentation

๐Ÿ“š A list of the docs and slides that I've created
21
star
5

AttackDragon

๐Ÿงช My tiny project for Software Testing
C#
17
star
6

Khorshid

๐Ÿš• Simple telephone taxi management
C#
12
star
7

data-structure-app

All projects of Data Structure course in an integrated GUI application
C#
11
star
8

PingPongGame_CAD_VGA

๐Ÿ“ A Ping Pong game written in VHDL with VGA support
VHDL
10
star
9

NetworkLab

๐ŸŒ Network Lab documentation
9
star
10

EventTemplate

๐Ÿ“… A simple template that I've created with flex-box
HTML
7
star
11

avestura.github.io

Visit new website at https://avestura.dev
7
star
12

Minesweeper-Persian

๐Ÿ’ฃ A simple GUI implementation of Minesweeper in java
Java
7
star
13

Guilan-Web-Tools

A Firefox and Chrome browser Extension for Guilan University websites that changes UI of pages and add features to them.
CSS
6
star
14

dooz-game

โŒโญ• A GUI Tic Tac Toe game, implemented in C++ CLR
C++
6
star
15

PersianNews

๐Ÿ“ฐ My final project for NLP course
F#
6
star
16

Ocisp

๐Ÿงฌ An implementation of optimized crossover for independent set problem
C#
6
star
17

enterprise-architect-uml-to-graph-csv

EA UML To Graph
F#
5
star
18

CraigRobotics

๐Ÿค– Implementation of Robotics exercises of J. Craig book using F# + Math.NET
F#
5
star
19

AryanWPFTemplate

Aryan MVVM WPF project template for Visual Studio
C#
5
star
20

SamanLog

๐Ÿ“ฑ Xamarin Android application for logging SMSs from Saman Bank
C#
5
star
21

ExcelMoodleAddin

Write Moodle GIFT questions in Excel
C#
5
star
22

FsFrink

An effort to bring frinklang.org UoMs into F# ecosystem
F#
4
star
23

GuilanGame

A QA Game for Guilan University Students, fully written in WPF
C#
4
star
24

MicrocontrollerCalculator

๐Ÿงฎ A calculator written in Assembly and simulated in Proteus
Assembly
4
star
25

tomcool

An alternative frontend for Thomas's Cool Forum Software
TypeScript
4
star
26

mpich-playground

๐Ÿ“จ Several problems and their solutions in distributed systems area, solved using MPI
C
3
star
27

FuzzyOperators

๐Ÿ“ˆ Desktop app for testing and ploting fuzzy operators
C#
3
star
28

noopschallenge

GitHub Noops Challenge
F#
3
star
29

TinyScripts

๐Ÿ“œ These are some of my tiny Powershell/AHK scripts
PowerShell
3
star
30

Oxlip

๐ŸŒธ A poor failing attempt to create another layout system
HTML
3
star
31

pecs

โšก Performance Evaluation of Computer Systems
F#
3
star
32

HostedNetwork

A simple GUI project for creating a hosted network instead of using `netsh wlan start hostednetwork` command.
C#
3
star
33

FStarDocs

FStar Documentations in readthedocs
3
star
34

DCMotor

โšก DCMotor speed control using ATMega32, Simulated in Proteus
Assembly
3
star
35

othello-ai-minmax

MinMax AI with Alpha-beta pruning for Othello board game
Java
2
star
36

FStar

2
star
37

scikit-heart-disease-classifier

๐Ÿ’š A heart disease classifier using 4 SVM kernels and decision trees, with PCA, ROC, pruning, grid search cv, confusion matrix, and more
Jupyter Notebook
2
star
38

data-mining-iranian-family-data

Jupyter Notebook
2
star
39

aryogram

๐Ÿ“จ Legacy Telegram-looking chat app with a custom protocol on top of TCP and graph path-finding algorithms
C#
2
star
40

my-azure-devops

๐Ÿ‘จโ€๐Ÿ’ป My Template for Azure DevOps Extensions
TypeScript
2
star
41

Invoker

Samples and Docs for Windows P/Invoke
2
star
42

ColaCompiler

Minimal Cola Compiler
Java
2
star
43

walg-docker

๐Ÿณ Dockerfile for WAL-G and Postgres each bundled with Google's Brotli
Dockerfile
2
star
44

MediaMan

A general repo for hosting github stuff
2
star
45

avestura-k8s-operator

Makefile
1
star
46

python-networkx-playground

NetworkX assignments on Stackoverflow questions and Twitter Data
Jupyter Notebook
1
star
47

serverless-paper-impl

Jupyter Notebook
1
star
48

BafghAutomation

๐Ÿญ Bafgh Automation Dashboard for Homatec
C#
1
star
49

avestura.dev-comments

This repository hosts comments of my website
1
star
50

avestura

JavaScript
1
star
51

debs2015-wso2-si

๐Ÿš• A WSO2 Streaming Integrator solution to DEBS2015 (New York Taxi) challange
C#
1
star
52

cypress-request-flood-reproduce

JavaScript
1
star
53

Blog-Code-Generator-Legacy

My old GUI application that generates web tools, I wrote this app when I was 15 years old
Visual Basic
1
star
54

deryut

An attempt to create an evil clone of myself using high tech artificial intelligence approaches
1
star
55

multipart-downloader

โฌ A multi-part asset Server with .NET Sockets
C#
1
star