![](/statics/img/blank.png)
Orangeboard Lambda Calculus Interpreter 1.0
Pobieranie będzie można pobrać w ciągu 5 sekund.
Możesz również kliknąć następujący link do pobierania zewnętrznego, aby rozpocząć pobieranie:
http://sourceforge.net/projects/redboard/files/redboard/Redboard%201.0/RedboardSource.zip/download
O Orangeboard Lambda Calculus Interpreter
Prosta aplikacja .NET/mono, która interpretuje i ocenia wyrażenia calculus bez typu lambda.
Programy pokrewne
-
pyckett Wolna
Jest to emulator reguły slajdu oparty na klasycznym projekcie reguły slajdu Pickett. Jest napisany w Pythonie, więc nazwa "pyckett" jest odpowiednia. Nadaje się jako przykład obiektowej konstrukcji oprogramowania
-
tkradar Wolna
Tkradar to zestaw bibliotek C i pakietów Tcl/Tk do uzyskiwania dostępu, manipulowania i wyświetlania różnych form danych radarowych pogodowych. Wymaga Tcl, Tk i Tkgeomap.
-
e17genmenu Wolna
e17genmenu to aplikacja do automatycznego generowania pozycji menu dla Menedżera okien oświecenia (DR17) w systemie Linux w oparciu o menu Gnome/Kde. Jest napisany w C, wykorzystując Biblioteki Fundacji Oświecenia, w tym Ecor
-
Italian Translator TransZilla Wolna
Włoski Tłumacz TransZilla jest darmowym tłumaczem, który korzysta z Tłumacza Google.Tłumacz obsługuje tłumaczenie z języka angielskiego na włoski i włoski na angielski.Użyj tłumacza do tłumaczenia słów, zdań.Wpisz tekst
-
Eigenmath DS Wolna
Eigenmath DS to darmowy system algebry komputerowej przeniesiony na Nintendo DS.Celem tego projektu jest stworzenie bezpłatnego CAS porównywalnego z systemami komercyjnymi takich jak Texas Instruments lub kalkulatory HP.
-
Inaugural Address USA 2009 Bezpłatna wersja próbna
Oficjalny tekst historycznego przemówienia inauguracyjnego prezydenta Obamy, styczeń 2009.Publikujemy również:* Adres do Kongresu lutego 2009 * * Obama w przestrzeni 2010 *i innych aplikacji.Ta aplikacja jest
-
BioStream Wolna
BioStream umożliwia badaczom bioinformatyki tworzenie, wyszukiwanie i stosowanie narzędzi do własnych baz danych. Obsługuje pliki sekwencji i inne typy danych, umożliwiając tworzenie plików definicji metadanych.
-
I.S.A.A.C.S. Wolna
I.S.A.A.C.S. Interactive Structure Analysis of Amorphous and Crystalline Systems to wieloplatformowe oprogramowanie opracowane w celu analizy cech strukturalnych modeli trójwymiarowych zbudowanych przez symulacje komputerowe.
-
SystemJ-Translator Wolna
SystemJ to nowy język poświęcony łatwemu rozwojowi reaktywnych HDL. Oparty na JAVA jest niezależny od platformy i daje łatwość rozwoju, która towarzyszy java.
-
Project35 Wolna
Project35 to zestaw narzędzi programowych, które generują formularze oparte na schematach XML. Pierwotnie pochodzące z projektu badawczego Pedro, narzędzia Project35 zostały zmodyfikowane w celu wspierania większej liczby pr