jameshfisher/nimrod-mode jameshfisher/nimrod-mode

  • Stars
    star
    3
  • Rank 3,947,104 (Top 79 %)
  • Language
    Emacs Lisp
  • Created over 13 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jameshfisher/nimrod-mode
github

jameshfisher

Reviews

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

Repository Details

An emacs major mode for the Nimrod programming language

More Repositories

1

tlaplus

Java
34
star
2

jameshfisher.com

JavaScript
23
star
3

docutils-html5-writer

A writer for docutils conforming to the HTML5 draft
Python
16
star
4

dont-say-simply

A script to remove the word "simply" from any GitHub repository
Shell
14
star
5

couchdb_web

JavaScript
9
star
6

what-is-my-ip

A "What is my IP?" service using WebRTC/STUN
HTML
9
star
7

js2coffee

Machine translation of JavaScript -> CoffeeScript
JavaScript
6
star
8

cursory-hack

HTML
6
star
9

agent-functions

TypeScript
4
star
10

webrtc-anonymous-group-chat

JavaScript
4
star
11

ghc_gc_benchmarks

Haskell
3
star
12

nimrod-termcolor

ANSI terminal color library for the Nimrod programming language
3
star
13

pusher-channel-name

Encoding structured data as Pusher channel names
JavaScript
3
star
14

pink-trombone

A modern update of the classic Pink Trombone. TypeScript, multi-file, and retina display support
TypeScript
3
star
15

git-orphaned-files

Find out which files in your git repository are orphans. Kill the orphans.
Python
2
star
16

jameshfisher.github.io

DEPRECATED; only exists for redirects; see https://github.com/jameshfisher/jameshfisher.com
HTML
2
star
17

donut-logic

An example Composer package, released on Packagist.org
PHP
2
star
18

numeral

Library providing for the formatting (and unformatting) of world numeral systems
Python
2
star
19

heredoc

multi-line string / here document using QuasiQuotes
Haskell
2
star
20

out_of_thyme

JavaScript
2
star
21

d-brand

Simple branding for the D programming language
2
star
22

fisher-tree

Go
2
star
23

codenames-grid

Generates a random grid of red/blue/neutral/black cards for playing Codenames
HTML
2
star
24

tfjs-seedrandom-es-module-bug

JavaScript
2
star
25

semantic-code-highlighter

HTML
1
star
26

nextjs-fetch-node-modules

CSS
1
star
27

diffprog

Jim's automatic differentiation library
JavaScript
1
star
28

unfold

Tiny binary to reverse the operation of the standard `fold' utility
C++
1
star
29

verifying-concurrent-indexes

D
1
star
30

migrant

Database migration tool
Haskell
1
star
31

toupac

JavaScript
1
star
32

gostringsearch

Implementations of string search algorithms in the Go language
Go
1
star
33

programming-problems-in-idris

Problems from http://adriann.github.io/programming_problems.html, solutions using Idris
Idris
1
star
34

align

Replacement of standard `fold' utility with alignment options
C++
1
star
35

blog

Haskell
1
star
36

compact-regions-ring-buffer

Haskell
1
star
37

cc-cheatsheet

A two-side A4 sheet covering the tedious details of C/C++
1
star
38

jimscript

Haskell
1
star
39

style

Haskell
1
star
40

encrypted-diary

Shell
1
star
41

codeclub

JavaScript
1
star
42

eegg.github.com

1
star
43

dotfiles

Shell
1
star
44

zig-wasm-beyond-hello-world

JavaScript
1
star
45

2html5

HTML4 to HTML5 converter (semi-intelligent insertion of <hgroup>s and <section>s)
Python
1
star