idris-hackers/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Emacs LispGPL-3.0
Stargazers
- bitemyapp
- BlaisorbladeBedrock Systems Inc.
- brendanzab@yeslogic
- chetant
- chrisbarrett@usebroca
- cnd
- cosmo0920@chronosphereio
- david-christiansenCopenhagen, Denmark
- drhodesNew Hampshire
- eccstartupNAU
- edgar-gip
- folone@reddit
- Fuuzetsu@tsurucapital
- hannesm@robur-coop
- jfdmUniversity of Strathclyde
- joneshf
- JosephMonizPuzzle Finance
- karljs@zapier
- larrytheliquid@colimit-io
- laughedelic@Tapad
- littlehakerBytedance
- mankyKitty
- puffnfreshAtlassian
- pxqr
- relrod@Ansible @ Red Hat, Inc.
- robotlolita
- ShadowCreator
- Shekeen
- soimortHome, Earth
- stevejBuoyant, Inc.
- stormogulen
- timjb@TNG Technology Consulting GmbH
- timothyklim
- tlockneyHubSpot
- wjzzPoland
- wolverian@reaktor