Search Results for "ket"
Sort By:
Showing 3 open source projects for "ket"
View related business solutions-
Boost application security and continuity with SKUDONET ADC, our Open Source Load Balancer, that maximizes IT infrastructure flexibility. Additionally, save up to $470 K per incident with AI and SKUDONET solutions, further enhancing your organization’s risk management and cost-efficiency strategies.
-
Stay productive working at any distance from anywhere with Monitask.
-
1
Ket
An algebra editor
A text editor for maths. Simple algebra should be faster and more intuitive to perform on a computer than on paper and should look like maths. Write small fragments in plain text; perform simple click-and-drag algebra with the mouse; and explore more involved algebra through keyboard shortcuts. When done, save as plain text files or export to LaTeX and HTML. -
2
123Rec
Allows to record the screen and convert to GIF, launched by short key
123Rec is a screen recoder, simply launched by a short ket It allows to convert all files in a single GIF file -
3
Ket hop cac SMT solver hien co: Z3, Yices, CVC3 thành một hệ thống chạy trên Lan có khả năng đưa ra lời giải tối ưu nhất cho một ràng buộc logic đưa vào.
- Previous
- You're on page 1
- Next