webyrd Barliman issues - Githubissues

webyrd / Barliman

Prototype smart text editor

MIT License

1.05k stars 30 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Imaginary programming + barliman? Please take a look at implementing a scheme version

#31 mullikine opened 3 years ago
1
Idea: Make Barliman *truly* interactive via live pruning of the search space! #mindmeld

#30 elimisteve opened 4 years ago
1
better ordering for +/*: assert first, then eval args

#29 michaelballantyne closed 4 years ago
0
Suggestion / Question: Barliman as an optimizer

#28 g--o closed 5 years ago
0
Is this expected behavior?

#27 NightMachinery closed 6 years ago
1
Exits as soon as I start typing in the first test

#26 NightMachinery closed 6 years ago
2
Instructions to build and run Barliman on Mac

#25 AlexKnauth closed 6 years ago
1
Question: Relation to Inductive Programming Systems like IGOR

#24 ichistmeinname closed 7 years ago
3
Fixed typo

#23 tjarratt closed 7 years ago
1
hide editor for run

#22 namin closed 7 years ago
0
Feedback on each example and follow -o convention in initial sample

#21 namin closed 7 years ago
0
Web Barliman

#20 namin closed 7 years ago
4
Dr. Racket extension

#19 johannes-climacus opened 7 years ago
3
Improve README.md

#18 johannes-climacus closed 7 years ago
1
Add Parinfer to the text input

#17 oakmac opened 7 years ago
1
Mutual recursion

#16 gregr closed 8 years ago
1
Weighted branches

#14 gregr closed 8 years ago
1
Try complete search if fast search fails

#13 gregr closed 8 years ago
5
Improve performance

#12 gregr closed 8 years ago
24
Promote cons in initial-env

#11 gregr closed 8 years ago
8
Minor refactoring

#9 adamnemecek closed 8 years ago
0
Refactored getNextUnusedLogicVar

#8 adamnemecek closed 8 years ago
0
Specialize lookup

#7 gregr closed 8 years ago
0
Test a version of the old interpreter

#6 gregr closed 8 years ago
0
Specialize lookup

#5 gregr closed 8 years ago
0
Reorder

#4 gregr closed 8 years ago
0
Dynamically order argument/body evaluations

#3 gregr closed 8 years ago
0
Prioritize symbol lookup

#2 gregr closed 8 years ago
0
Rearranged initial env

#1 gregr closed 8 years ago
1