soimort/idris-commonmark soimort/idris-commonmark

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language Idris
  • License
    MIT License
  • Created about 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
soimort/idris-commonmark
github

soimort

Reviews

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

Repository Details

Idris wrapper for jgm's Markdown parser

More Repositories

1

you-get

⏬ Dumb downloader that scrapes the web
Python
50,349
star
2

translate-shell

💬 Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc.
Awk
6,539
star
3

python-romkan

🈂️ A Romaji/Kana conversion library for Python
Python
103
star
4

wiki

HTML
78
star
5

GrassMudHorse

An implementation of GrassMudHorse programming language in Haskell
Haskell
48
star
6

soimort.github.io

HTML
30
star
7

dotfiles

Mort's dotfiles
Python
20
star
8

SciTE-properties

Mort's SciTE editor configuration files
Awk
13
star
9

Copycat-Rootkit-Demo

Website-Terminal Copy-Paste can be dangerous.
Shell
12
star
10

nyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyannyan

Shell
11
star
11

awkunit

Unit Testing Framework for GNU Awk
C
10
star
12

akb48.js

AKB48 member profiles as a JavaScript library
JavaScript
9
star
13

mayuki

[INACTIVE] A minimalist Markdown/YAML-based static wiki generator
Ruby
8
star
14

anthy-kaomoji

Mort's collection of everyday use kaomojis
Ruby
8
star
15

my-ftpd

Very minimal FTP server / client
Java
7
star
16

becat

Better cat(1), split(1) and cmp(1)
Tcl
6
star
17

resave

An image downloader
Tcl
5
star
18

pi

A simple pandoc wrapper that does the trick
Ruby
5
star
19

pi.clj

Calculates π to arbitrary precision using Machin's Formula.
Clojure
5
star
20

pandoc-filters

Mort's pandoc filters
Python
5
star
21

pride

🌈 Simple testing and logging with pride
C
5
star
22

hit-and-run

Handy tool for competitive programming
Shell
4
star
23

Arduino-Synth

Yet another Arduino Synthesizer
Arduino
4
star
24

codejam-commandline

Automatically exported from code.google.com/p/codejam-commandline
Python
4
star
25

p99

P-99: Ninety-Nine Prolog Problems (Mort's Solutions)
Ruby
4
star
26

google_plus_archiver

[INACTIVE] A simple command-line tool to archive Google+ profiles and public streams
Ruby
2
star
27

some-proofs

Coq
2
star
28

sfntwari

Strip TrueType fonts and convert to WOFF for use in web pages
Java
2
star
29

status

soimort Status
JavaScript
2
star
30

my-tint2

C
2
star
31

iGaME-GEM

[INACTIVE] An Educational Game for Synthetic Biology
2
star
32

project-euler

Mort's Solutions to Project Euler
Python
2
star
33

cpcat

a simple package management, file backup and synchronization script
Shell
2
star
34

mi-caja

just my own fork of the Caja file manager
C
1
star
35

frs48

Flight Reservation System in 48 hours
Java
1
star