logisim-evolution
hardcaml
Our great sponsors
logisim-evolution | hardcaml | |
---|---|---|
25 | 7 | |
4,307 | 611 | |
4.3% | 2.6% | |
9.4 | 6.3 | |
2 days ago | 15 days ago | |
Java | OCaml | |
GNU General Public License v3.0 only | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
logisim-evolution
-
Problem with installation
I have downloaded logisim-evolution from github. While trying to run .msi file, Microsoft Defender blocked it for some reason. I scanned it with some other scanners and everything was fine. I'm not sure if this is safe to install it.
-
Creating a package that requires Java 16
I am trying to define an xbps-src template for logisim-evolution, a Java app that requires Java 16. I am using depends="virtual?java-runtime" and, as expected by reading etc/defaults.virtual, OpenJDK 8 is used. Creating a etc/virtual file is ignored in .gitignore, so I guess it is made to be used with local packages. Using depends="virtual?java-runtime-17.0.5+7_1" works, as OpenJDK 17 provides that exact version of java-runtime. If it were updated, this package would break, because if I input a lower version, it will fail. I've tried using syntax like > and >=, but then I get the following error:
-
A circuit simulator that doesn't look like it was made in 2003
Logism evolution works great and is quite modern.
https://github.com/logisim-evolution/logisim-evolution
-
Hi there, I got an assigment that consists of moving a stepper motor (4 phases) using only a 74LS76N and a 74LS86N but when I tried to use the schematic, it didn't work, any help would be extremely helpful (more info in comments)
According to Logisim it creates the correct sequence for full stepping on a bipolar configuration. Falstad's Circuit simulator is another one you might try.
-
Help needed to find FOSS tools to create graphical logic circuits and convert them to VHDL in class.
Did you check logisim-evolution? It is an active fork of logisim maintained by several lecturers at the Bern University of Applied Sciences.
-
Ben Eater's 8-Bit CPU in Logisim, Plus More!
Here is the link for Logisim Evolution: https://github.com/logisim-evolution/logisim-evolution
-
Crumb Circuit Simulator
In school, I worked on an introductory CS/EE class many, many moons ago, and I believed we used something like "logisim", which by then was pretty awesome - you could build simple things like adders, combine those with "macros" to bui;d ALUs and then whole simple CPUs.
Since then, the logisim project has discontinued, but it looks like there is a open source successor:
https://github.com/logisim-evolution/logisim-evolution
Have not tried it, but it looks promising, provided you don't want to do too complicated things (not sure if you could really model complex CPUs like a pentium with it). Also, it's pretty digital only, so I wouldn't expect Mac-Spice-like analog circuit simulation.
-
I was making adder circuits in games 8 years ago in an attempt to build a computer. I finally worked my way up and built a working computer!
though i'd heavily recommend first building the circuit in a logic simulator like Logisim, or Digital before trying to build it in a game for an FPGA. (Digital even allows you to export circuits as Verilog/VHDL, and as a certified lazy person, that is very useful)
-
Embedded Systems Weekly #112
Logisim-evolution An alternative free and open-source tool to design and simulate digital logic.
-
Tang Nano 9K – FPGA SBC with HDMI
See if you are comfortable playing in https://github.com/logisim-evolution/logisim-evolution
hardcaml
-
Zero Knowledge FPGAs
title: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
Any reason the title deviates so much from original? Is it because of all the cool acronyms and code words? Here's a decoder:
zk-SNARK: zero-knowledge Succinct Non-Interactive Argument of Knowledge
MSM: Multi-Scalar Multiplication
Hardcaml: OCaml lib for hardware: https://github.com/janestreet/hardcaml
NTT: Number Theoretic Transform
-
A circuit simulator that doesn't look like it was made in 2003
Perhaps peripheral (the original site has been hugged to death).
Both clashlang: https://clash-lang.org/
And Hardcaml: https://github.com/janestreet/hardcaml
have personally fueled my interest in hardware.
Dan Luu speaks eloquently and at length about how better options are needed for logic design. I would recommend both of the above to the enthusiastic novice.
- Functional programming language for embedded devices?
-
HRT or Jane Street?
Join JS and you can program FPGAs in a strongly typed, expressive, high level programming language (OCaml): https://github.com/janestreet/hardcaml
-
You need to stop idolizing programming languages.
[1] https://github.com/janestreet/hardcaml
-
Designing a MIPS CPU in Hardcaml (12 part series)
> You can put all the functions/tasks you want in that module.
Coming from a software background, the testing strategies available in Verilog seem very clunky and overly verbose. In comparison, Hardcaml's ASCII waveform expect-test solution feels extremely elegant and simple: https://blog.janestreet.com/using-ascii-waveforms-to-test-ha....
> And all of my development and that of my team happens through gitlab-CI.
That's probably more of a gap in my education than a fault of the ecosystem then.
---
Among other qualities, I prefer languages that let fewer mistakes slip through, and allow the developer to focus on the system they intend to build rather than avoiding bugs/misunderstandings that would be easy to catch otherwise. You bring up a lot of really good points, and I suspect that if we were doing Verilog "the right way", we would have probably run into fewer issues. But at the end of the day, developing in Hardcaml was a much more ergonomic experience: testing was straightforward, most "stupid mistakes" were impossible, setup was pretty easy, and the library provided a lot of really useful abstractions. For example, Hardcaml interfaces make it easy to represent practically any data structure that can be serialized to/from a bit vector, and the Always API allows for some pretty interesting non-trivial functional logic.
https://github.com/janestreet/hardcaml/blob/master/docs/hard...
-
Hardcaml MIPS CPU Learning Project and Blog
A few months ago, I came across the Signals and Threads Programmable Hardware episode. I really liked the idea of Hardcaml: a library to write and test hardware designs in OCaml. Representing circuits as functions felt like a good abstraction, and I’ve been wanting to learn OCaml for a while.
What are some alternatives?
Digital - A digital logic designer and circuit simulator.
bitvec - A crate for managing memory bit by bit
logisim-evolution - Digital logic designer and simulator
bap - Binary Analysis Platform
32-bit-RISC-V-Cpu-Core
nerves_system_osd32mp1 - Base system for Octavo OSD32MP1
iverilog - Icarus Verilog
nerves - Craft and deploy bulletproof embedded software in Elixir
RISC-V-Computer - An enhanced yet simplified version of the original RISC-V-Computer build with Logisim [Moved to: https://github.com/MazinCE/RVCOM2.0]
qucs_s - Qucs-S is a circuit simulation program with Qt-based GUI
ghdl - VHDL 2008/93/87 simulator
clash-ghc - Haskell to VHDL/Verilog/SystemVerilog compiler