hub.darcs.net :: imz

imz's repositories

• 2014-05-pascal-practice — Some practice with Pascal (to teach another person)
• algebraic-prog-equiv — The equivalence problem in algebraic models of programs (some new results/algorithms and attempts at their practical applications) (https://gitorious.org/algebraic-prog-equiv)
• cuglify — Work-in-progress heap for c_uglify (a processor that re-writes GNU extensions in C). Here are: unsorted notes, examples, test scripts
• darcs-wiki — I want to request http://darcs.net/darcs-wiki to pull from here (fork of darcs's darcs-wiki)  (http://darcs.net)
• darcs_symmetric-unsuspend-over-unrecorded — Hacking up a simple fix for unsuspend to be symmetric with suspend w.r.t. unrecorded changes (fork of darcs's darcs-screened)  (http://bugs.darcs.net/issue2272)
• darcsmodule — git-darcsmodule substitutes git-submodule (simple, but clear scripts)
• dotfiles — my dotfiles (I'm about to scatter different aspects of my dotfiles among several darcs branches/repos here)
• elbrus_admin — Config files and scripts for us administering a certain remote host.
• language-c_1_process_analyze-printAST — Language C is a haskell library for the analysis and generation of C code. It features a complete, well tested parser and pretty printer for all of C99 and a large set of GNU extensions. (Here, examples/Process.hs parses and analyzes the input file, and during the analysis "pushes" the nested functions to the top-level, and then prints the program from the new AST; it doesn't check that the new program is correct in any sense or tries to rewrite it; it accepts the same options as cpp/gcc .) (fork of imz's language-c_process_analyze-printAST)  (https://hackage.haskell.org/package/language-c)
• language-c_cleanup — Language C is a haskell library for the analysis and generation of C code. It features a complete, well tested parser and pretty printer for all of C99 and a large set of GNU extensions. (Here I publish random cleanup patches to the Hackage branch, which might be controversial. They helped a newby like me to read and understand the code.) (fork of imz's language-c_fixes)  (https://hackage.haskell.org/package/language-c)
• language-c_fixes — Language C is a haskell library for the analysis and generation of C code. It features a complete, well tested parser and pretty printer for all of C99 and a large set of GNU extensions. (Here I publish random fixes to the Hackage branch, mostly small ones so far, like typos.) (fork of imz's language-c_hackage)  (https://hackage.haskell.org/package/language-c)
• language-c_hackage — Language C is a haskell library for the analysis and generation of C code. It features a complete, well tested parser and pretty printer for all of C99 and a large set of GNU extensions. (This is a darcs-2 mirror of the repo pointed to by hackage; it has a few extra patches.) (fork of visq's language-c)  (https://hackage.haskell.org/package/language-c)
• language-c_process_analyze-generate — Language C is a haskell library for the analysis and generation of C code. It features a complete, well tested parser and pretty printer for all of C99 and a large set of GNU extensions. (Here, examples/Process.hs parses and analyzes the input file, and then generates a program; it accepts the same options as cpp/gcc.) (fork of imz's language-c_process_analyze-printAST)  (https://hackage.haskell.org/package/language-c)
• language-c_process_analyze-printAST — Language C is a haskell library for the analysis and generation of C code. It features a complete, well tested parser and pretty printer for all of C99 and a large set of GNU extensions. (Here, examples/Process.hs parses and analyzes the input file, and then just prints the program from AST; it accepts the same options as cpp/gcc; it must break iff the code is bad .) (fork of imz's language-c_process_analyze-silently)  (https://hackage.haskell.org/package/language-c)
• language-c_process_analyze-silently — Language C is a haskell library for the analysis and generation of C code. It features a complete, well tested parser and pretty printer for all of C99 and a large set of GNU extensions. (Here, examples/Process.hs parses and analyzes the input file silently; it accepts the same options as cpp/gcc; it must break iff the code is bad .) (fork of imz's language-c_cleanup)  (https://hackage.haskell.org/package/language-c)
• language-c_WIP — Language C is a haskell library for the analysis and generation of C code. It features a complete, well tested parser and pretty printer for all of C99 and a large set of GNU extensions. (Here, I save my WORK-IN-PROGRESS MESS.) (fork of imz's language-c_cleanup)  (https://hackage.haskell.org/package/language-c)
• test-haskell-aeson-constructor-as-tag — Testing various options of the JSON translations of Haskell from aeson and generic-aeson packages. (http://stackoverflow.com/a/29286213/94687)
• test-haskell-aeson-constructor-as-tag_aeson-constructorTagModifier — Testing various options of the JSON translations of Haskell from aeson and generic-aeson packages. (fork of imz's test-haskell-aeson-constructor-as-tag)  (http://stackoverflow.com/a/29286213/94687)
• test-haskell-aeson-constructor-as-tag_aeson-default — Testing various options of the JSON translations of Haskell from aeson and generic-aeson packages. (fork of imz's test-haskell-aeson-constructor-as-tag)  (http://stackoverflow.com/a/29286213/94687)
• test-haskell-aeson-constructor-as-tag_aeson-ObjectWithSingleField — Testing various options of the JSON translations of Haskell from aeson and generic-aeson packages. (fork of imz's test-haskell-aeson-constructor-as-tag)  (http://stackoverflow.com/a/29286213/94687)
• test-haskell-aeson-constructor-as-tag_aeson-tagFieldName — Testing various options of the JSON translations of Haskell from aeson and generic-aeson packages. (fork of imz's test-haskell-aeson-constructor-as-tag)  (http://stackoverflow.com/a/29286213/94687)
• test-haskell-aeson-constructor-as-tag_decoding — Testing various options of the JSON translations of Haskell from aeson and generic-aeson packages. (fork of imz's test-haskell-aeson-constructor-as-tag)  (http://stackoverflow.com/a/29286213/94687)
• test-haskell-aeson-constructor-as-tag_generic-aeson — Testing various options of the JSON translations of Haskell from aeson and generic-aeson packages. (fork of imz's test-haskell-aeson-constructor-as-tag_aeson-default)  (http://stackoverflow.com/a/29286213/94687)
• vc-darcs_jch — Emacs VC library for darcs (the one maintained by Juliusz Chroboczek with my patches) (http://www.pps.univ-paris-diderot.fr/~jch/software/repos/vc-darcs)