profile
viewpoint
ㄗㄠˋ ㄑㄧˊ tsao-chi Outside the universe and Gensokyo (Old user name: https://github.com/zaoqi)

aya-prover/aya-prover-proto 11

┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛

tsao-chi/NativePaperMC 4

Build non-fallback native image for paper spigot with plugins!

tsao-chi/Expression-Oriented-C 1

Macros for expression-oriented programming - C and C++ - based on https://github.com/zaoqi/Expression-Oriented-C

tsao-chi/LEDE-Newifi-D2 1

Daily clean LEDE build for Newifi D2. Base commit: https://github.com/P3TERX/Actions-OpenWrt/tree/d59134a43e60a4bf09714a99f3e26a714dc22b7f

tsao-chi/parameter.rs 1

dynamic binding - inspired by parameter of Scheme

Otcoy/fpga_os 0

An operating system, whose applications are hardwares

Otcoy/HadoHDL 0

A Hardware Description Language with Scheme(Lisp) macro support

Otcoy/libbare 0

libbare: statically linkable and dynamically loadable drivers

create barnchaya-prover/aya-dev

branch : changelog

created branch time in 16 days

push eventaya-prover/aya-dev

ice1000

commit sha 5a2a9a9d857b3f73e1fcaa67d5f60946a694be0a

BUILD: add `uses` and `requires` in `mergedModule`

view details

ice1000

commit sha 22d3783f8ee6d628b748214b419f141e83dab544

BUILD: slightly refactor build script

view details

bors[bot]

commit sha 324917e1c434699f2bab76f923f298586ac4423e

MERGE: #296 296: Fix jlink relevant issues r=ice1000 a=ice1000 bors merge this PR which closes #295 Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>

view details

ice1000

commit sha e91eb76ed33ea9e3bc0a4df7012c7fb4167f0444

MISC: make package shallower

view details

ice1000

commit sha 03ec582d0d7f850370ca9243ba7cca73a618282d

PAT: fix insufficient substitutions applied on constructor params

view details

ice1000

commit sha b261f4fee092e9300d9cc7cd517b1589d07e2a70

MISC: various cosmetics changes

view details

ice1000

commit sha c0b0dd7576d090ca43cec48494ce73077c9bf423

LIB: rename `cons` to `:<` everywhere

view details

bors[bot]

commit sha b0748a628b7d5c9f71d1d9b2c72d36c210ae42c1

MERGE: #298 298: Some fixes r=ice1000 a=ice1000 Fix #297 Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>

view details

imkiva

commit sha 96d9b879f697b369e0155a31b4c161274371c416

LSP: goto def. for module and import commands (#291) Signed-off-by: imkiva <imkiva@islovely.icu>

view details

imkiva

commit sha f79335de138585d5f86f3b4d6bf9d8787b5c2f16

LSP: fix resolveVar of ctor, field and bind pattern Signed-off-by: imkiva <imkiva@islovely.icu>

view details

imkiva

commit sha 0fb95965a86c318868a497c4b36e8274037584b5

MISC: rename Signed-off-by: imkiva <imkiva@islovely.icu>

view details

imkiva

commit sha fb97353f6ef22a74ed1cd14bad94ac838911e7ad

LSP: support rename Signed-off-by: imkiva <imkiva@islovely.icu>

view details

imkiva

commit sha a7fe143c4580a5ba88ba0c8aa2a7d15c8280a702

LSP: enhance find references Signed-off-by: imkiva <imkiva@islovely.icu>

view details

ice1000

commit sha c5f0b68c6af422a1db4e7f33e816e6492224c667

PRETTY: fix binding-emission logic

view details

ice1000

commit sha 18be4f943b6698880a637b081a401230fbde0423

PRETTY: documentations

view details

imkiva

commit sha f15e5c145076b512e0a5f66f75e87dc79e39799d

LSP: highlight occurrences Signed-off-by: imkiva <imkiva@islovely.icu>

view details

ice1000

commit sha 074956db8f90939e3d2aa7dcba14f0aee381d974

MISC: address my own comments

view details

bors[bot]

commit sha d9e3d9c7ab817e31c5ca7225e9096e815c90a7c4

MERGE: #300 300: Now I can play with Aya in VSCode happily r=ice1000 a=imkiva This PR improved existing features: - Binding emission logic for better hover messages - Find references in pattern matchings and projections - Position resolver now correctly finds all `Var`s (we cannot resolve ctors, fields and local telescopes if the cursor was placed at the name part of their definitions before) and introduced new features: - Rename a symbol - Highlight all occurrences of a text by scoping rule (instead of string comparison!!) - Goto definition for import commands (close #291) and generalized some tools for future IDE development: - The `Resolver` class which handles concrete term interactions (all features mentioned above heavily depend on this _busybox_) - The `ModuleVar` for expanding the definition-based mechanism to modules (like goto module, rename module, etc.) Co-authored-by: imkiva <imkiva@islovely.icu> Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>

view details

ice1000

commit sha 4e0268dc80209c7bcc8ed88a335bbaba67905da6

BUILD: generate good-looking code

view details

ice1000

commit sha 0ddb986c411d7bab39a98be11261442ae28d7c23

BUILD: update jlink plugin :thinking:

view details

push time in 24 days

create barnchaya-prover/aya-dev

branch : group

created branch time in a month

PR opened aya-prover/aya-dev

BASE: nuke BinOpCollector

fix #239

+21 -58

0 comment

11 changed files

pr created time in a month

create barnchaya-prover/aya-dev

branch : nuke-bin2

created branch time in a month

create barnchtsao-chi-forks/aya-dev

branch : nuke-bin2

created branch time in a month

issue commentaya-prover/aya-dev

Purge `BinOpCollector`

Could it be a local state just like before https://github.com/aya-prover/aya-dev/commit/e7d9cc55fcb17e90d9424755e99906e07a996a25 ?

ice1000

comment created time in a month

create barnchtsao-chi-forks/aya-dev

branch : bin2

created branch time in a month

push eventtsao-chi-forks/pi4j-example-minimal

ㄗㄠˋ ㄑㄧˊ

commit sha afb2ecdf605f690daf136fec31d474975e4ac3a6

gradle 7.2

view details

push time in 3 months

startedPi4J/pi4j-example-minimal

started time in 3 months

created repositorytsao-chi/avr-button-lamp8

Forked from https://github.com/avr-rust/blink

created time in 3 months

create barnchtsao-chi/avr-water-lamp8

branch : master

created branch time in 3 months

created repositorytsao-chi/avr-water-lamp8

avr water lamp 8

created time in 3 months

more