Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / mattpolzin/ncurses-idris issues and pull requests

#36 - update indexed dependency and modernize nix stuff a bit

Pull Request - State: closed - Opened by mattpolzin 2 months ago

#35 - fix totality of hasWindowWithin

Pull Request - State: closed - Opened by mattpolzin over 1 year ago

#34 - [ upstream ] Fails to build due to Idris totality checker fix

Issue - State: closed - Opened by stefan-hoeck almost 2 years ago - 1 comment

#32 - Nix experiment

Pull Request - State: closed - Opened by mattpolzin about 2 years ago

#31 - Update ci.yml

Pull Request - State: closed - Opened by mattpolzin about 2 years ago

#30 - [ fix ] Fix issues with varargs FFI on M1 mac

Pull Request - State: closed - Opened by dunhamsteve about 2 years ago

#29 - [ new ] tetris in the terminal

Pull Request - State: closed - Opened by gallais about 2 years ago - 1 comment

#28 - [ new ] Snake! Using IR!

Pull Request - State: closed - Opened by gallais about 2 years ago - 1 comment

#27 - Fix root and example project Makefiles.

Pull Request - State: closed - Opened by mattpolzin about 2 years ago - 4 comments

#25 - bump indexed version. fix ncurses. bump ncurses version.

Pull Request - State: closed - Opened by mattpolzin about 2 years ago

#24 - tweaks to ipkg file

Pull Request - State: closed - Opened by mattpolzin about 2 years ago

#23 - Support build refactor

Pull Request - State: closed - Opened by mattpolzin over 2 years ago

#22 - much better developer experience for using the inWindow function.

Pull Request - State: closed - Opened by mattpolzin over 2 years ago

#21 - Performance work

Pull Request - State: closed - Opened by mattpolzin over 2 years ago

#20 - support setting window backgrounds.

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#19 - Fix setSize call

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#18 - Fix key retrieval via FFI

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#17 - Window positioning and attribute updating.

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#16 - In window helper

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#15 - Missing capabilities

Issue - State: open - Opened by mattpolzin almost 3 years ago - 1 comment

#14 - Stateful example

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#13 - Window Borders

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#12 - Add ability to set window size. Add missing examples to CI.

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#11 - Support window resizing

Issue - State: closed - Opened by mattpolzin almost 3 years ago

#10 - Add line drawing and an adaptation of gallias's pumpkin example

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#9 - Support for Getting Characters

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#8 - Add support for keypad and nodelay options

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago - 1 comment

#7 - Add support for adding and setting the window.

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#6 - Cbreak and echo

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#5 - Add new timed example (does not require input to exit) and run it in CI.

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#4 - Little things

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#3 - Build examples for CI.

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#2 - Support higher level NCurses interactions

Pull Request - State: closed - Opened by mattpolzin almost 3 years ago

#1 - Pretty printing support

Pull Request - State: closed - Opened by mattpolzin about 3 years ago