{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"idris-mode","owner":"idris-hackers","isFork":false,"description":"Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Emacs Lisp","color":"#c065db"},"pullRequestCount":1,"issueCount":51,"starsCount":261,"forksCount":70,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-23T13:20:18.507Z"}},{"type":"Public","name":"atom-language-idris","owner":"idris-hackers","isFork":false,"description":"A Idris Mode for Atom.io","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":9,"issueCount":50,"starsCount":99,"forksCount":24,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T04:34:44.204Z"}},{"type":"Public","name":"idris-sublime","owner":"idris-hackers","isFork":false,"description":"A Plugin to use Idris with Sublime","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":5,"starsCount":27,"forksCount":11,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-30T16:28:46.620Z"}},{"type":"Public","name":"idris-vim","owner":"idris-hackers","isFork":false,"description":"Idris mode for vim","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Vim Script","color":"#199f4b"},"pullRequestCount":3,"issueCount":35,"starsCount":221,"forksCount":52,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-31T13:58:28.739Z"}},{"type":"Public","name":"idris-array","owner":"idris-hackers","isFork":false,"description":"primitive flat arrays containing Idris values","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":1,"issueCount":1,"starsCount":6,"forksCount":5,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-14T18:14:06.258Z"}},{"type":"Public","name":"software-foundations","owner":"idris-hackers","isFork":false,"description":"Software Foundations in Idris","topicNames":["computer-science","book","theorem-proving","idris"],"topicsNotShown":0,"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":2,"issueCount":13,"starsCount":448,"forksCount":34,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-15T19:06:08.356Z"}},{"type":"Public","name":"idris-posix","owner":"idris-hackers","isFork":false,"description":"System POSIX bindings for Idris.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":2,"issueCount":0,"starsCount":35,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-05T16:02:32.873Z"}},{"type":"Public","name":"idris-algebra","owner":"idris-hackers","isFork":false,"description":"This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting \"Algebra\"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":1,"issueCount":1,"starsCount":18,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-24T10:52:33.470Z"}},{"type":"Public","name":"IdrisScript","owner":"idris-hackers","isFork":false,"description":"FFI Bindings to interact with the unsafe world of JavaScript","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":3,"issueCount":0,"starsCount":89,"forksCount":11,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-07T17:57:03.894Z"}},{"type":"Public","name":"travis-build","owner":"idris-hackers","isFork":true,"description":".travis.yml => build.sh converter","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":436,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-28T12:59:39.675Z"}},{"type":"Public","name":"idris-free","owner":"idris-hackers","isFork":false,"description":"Free Monads and useful constructions to work with them","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":3,"issueCount":2,"starsCount":26,"forksCount":10,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-14T05:13:00.537Z"}},{"type":"Public","name":"idris-crypto","owner":"idris-hackers","isFork":false,"description":"Implementation of cryptographic primitives using Idris","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":3,"starsCount":121,"forksCount":13,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-05T04:55:39.376Z"}},{"type":"Public","name":"idris-koans","owner":"idris-hackers","isFork":false,"description":"Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":1,"starsCount":176,"forksCount":26,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-02T13:31:18.528Z"}},{"type":"Public","name":"idris-demos","owner":"idris-hackers","isFork":false,"description":"Collection of Idris tests and demonstration programs","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":4,"starsCount":191,"forksCount":13,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-23T04:10:38.771Z"}},{"type":"Public","name":"iQuery","owner":"idris-hackers","isFork":false,"description":"Idris Lib to interact with the DOM and Browser API for the JavaScript backend","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":2,"issueCount":1,"starsCount":40,"forksCount":11,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-01-15T00:31:22.270Z"}},{"type":"Public","name":"idris-llvm","owner":"idris-hackers","isFork":false,"description":"Idris LLVM codegen factored out","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":78,"forksCount":13,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-28T20:51:40.978Z"}},{"type":"Public","name":"idris-extras","owner":"idris-hackers","isFork":false,"description":"Various minor modes for editors and some tool support.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-25T14:05:01.112Z"}},{"type":"Public","name":"idris-lens","owner":"idris-hackers","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":2,"issueCount":2,"starsCount":22,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-30T04:03:48.007Z"}},{"type":"Public","name":"idris-challenges","owner":"idris-hackers","isFork":false,"description":"A repository containing interesting challenges to be solved in the Idris programming language","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-04-26T13:52:26.896Z"}},{"type":"Public","name":"idris-java","owner":"idris-hackers","isFork":false,"description":"Java Code Generator for Idris","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":3,"starsCount":71,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-17T13:43:15.751Z"}},{"type":"Public","name":"idris-java-rts","owner":"idris-hackers","isFork":false,"description":"Java Runtime System for the Idris Programming Language","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":10,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-11T14:31:21.649Z"}},{"type":"Public","name":"eff-tutorial","owner":"idris-hackers","isFork":false,"description":"An old tutorial for using `Effects` in Idris.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":3,"starsCount":24,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-10T20:37:43.085Z"}},{"type":"Public","name":"idris-cph-exercises","owner":"idris-hackers","isFork":false,"description":"Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":1,"starsCount":23,"forksCount":5,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-10T20:36:35.155Z"}},{"type":"Public","name":"idrispkgs","owner":"idris-hackers","isFork":false,"description":"Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":0,"issueCount":3,"starsCount":28,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-10T20:30:16.224Z"}},{"type":"Public","name":"idris-bot","owner":"idris-hackers","isFork":false,"description":"An IRC bot connected to an Idris REPL","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":10,"forksCount":3,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-10T20:13:36.576Z"}},{"type":"Public","name":"idris-time","owner":"idris-hackers","isFork":false,"description":"A dependently-typed implementation of ISO 8601.","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-02-01T04:45:45.525Z"}},{"type":"Public","name":"IdrisWeb","owner":"idris-hackers","isFork":false,"description":"A secure web framework, built in the Idris language.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":1,"starsCount":109,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-02-03T19:18:55.900Z"}},{"type":"Public","name":"idris-hackers.github.io","owner":"idris-hackers","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-11-29T11:55:19.738Z"}},{"type":"Public","name":"usb","owner":"idris-hackers","isFork":false,"description":"libusb binding for idris and Effectful USB programming","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":4,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-11-22T17:41:21.055Z"}}],"repositoryCount":29,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}